diff --git a/low_level_platform/api/CMakeLists.txt b/low_level_platform/api/CMakeLists.txt
index 9f2172bce..599f87e59 100644
--- a/low_level_platform/api/CMakeLists.txt
+++ b/low_level_platform/api/CMakeLists.txt
@@ -7,6 +7,8 @@ if(${CMAKE_SYSTEM_NAME} STREQUAL "nRF52")
     target_compile_definitions(lf-low-level-platform-api INTERFACE PLATFORM_NRF52)
 elseif(${CMAKE_SYSTEM_NAME} STREQUAL "Zephyr")
     target_compile_definitions(lf-low-level-platform-api INTERFACE PLATFORM_ZEPHYR)
+elseif(${CMAKE_SYSTEM_NAME} STREQUAL "Patmos")
+    target_compile_definitions(lf-low-level-platform-api INTERFACE PLATFORM_PATMOS)
 elseif(${CMAKE_SYSTEM_NAME} STREQUAL "Rp2040")
     target_compile_definitions(lf-low-level-platform-api INTERFACE PLATFORM_RP2040)
     target_link_libraries(lf-low-level-platform-api INTERFACE pico_stdlib)
diff --git a/low_level_platform/impl/CMakeLists.txt b/low_level_platform/impl/CMakeLists.txt
index e47903b6a..ac035dcf4 100644
--- a/low_level_platform/impl/CMakeLists.txt
+++ b/low_level_platform/impl/CMakeLists.txt
@@ -50,7 +50,7 @@ elseif(${CMAKE_SYSTEM_NAME} STREQUAL "Patmos")
         ${CMAKE_CURRENT_LIST_DIR}/src/lf_atomic_irq.c
     )
 else()
-    message(FATAL_ERROR "Your platform is not supported! The C target supports FlexPRET, Linux, MacOS, nRF52, RP2040, Windows, and Zephyr.")
+    message(FATAL_ERROR "Your platform is not supported! The C target supports FlexPRET, Patmos, Linux, MacOS, nRF52, RP2040, Windows, and Zephyr.")
 endif()
 
 list(APPEND LF_LOW_LEVEL_PLATFORM_FILES ${CMAKE_CURRENT_LIST_DIR}/src/lf_platform_util.c)
@@ -99,6 +99,8 @@ elseif(${CMAKE_SYSTEM_NAME} STREQUAL "FlexPRET")
             )
         endif()
     endif()
+elseif(${CMAKE_SYSTEM_NAME} STREQUAL "Patmos")
+    add_library(lf-low-level-platform-impl STATIC ${LF_LOW_LEVEL_PLATFORM_FILES})
 else()
     add_library(lf-low-level-platform-impl STATIC ${LF_LOW_LEVEL_PLATFORM_FILES})
 
diff --git a/low_level_platform/impl/src/lf_patmos_support.c b/low_level_platform/impl/src/lf_patmos_support.c
index fdfee79e7..43f20710c 100644
--- a/low_level_platform/impl/src/lf_patmos_support.c
+++ b/low_level_platform/impl/src/lf_patmos_support.c
@@ -109,6 +109,10 @@ int lf_enable_interrupts_nested() {
   return 0;
 }
 
+int _lf_single_threaded_notify_of_event() {
+  _lf_async_event = true;
+  return 0;
+}
 #endif // LF_SINGLE_THREADED
 
 #endif // PLATFORM_PATMOS
diff --git a/platform/impl/CMakeLists.txt b/platform/impl/CMakeLists.txt
index 32753e7eb..3c86b3817 100644
--- a/platform/impl/CMakeLists.txt
+++ b/platform/impl/CMakeLists.txt
@@ -9,6 +9,9 @@ elseif(${CMAKE_SYSTEM_NAME} STREQUAL "FlexPRET")
     add_library(lf-platform-impl STATIC)
     target_sources(lf-platform-impl PUBLIC ${LF_PLATFORM_FILES})
     target_link_libraries(lf-platform-impl PRIVATE fp-sdk)
+elseif(${CMAKE_SYSTEM_NAME} STREQUAL "Patmos")
+    add_library(lf-platform-impl STATIC)
+    target_sources(lf-platform-impl PUBLIC ${LF_PLATFORM_FILES})
 else()
     add_library(lf-platform-impl STATIC)
     target_sources(lf-platform-impl PUBLIC ${LF_PLATFORM_FILES})