diff --git a/libsel4tutorials/CMakeLists.txt b/libsel4tutorials/CMakeLists.txt index d21c96f..92d410f 100644 --- a/libsel4tutorials/CMakeLists.txt +++ b/libsel4tutorials/CMakeLists.txt @@ -16,7 +16,7 @@ add_library(sel4tutorials STATIC EXCLUDE_FROM_ALL src/constructors.c src/alloc.c target_link_libraries( sel4tutorials - kernel_autoconf + sel4_autoconf sel4runtime muslc sel4