trivial: remove muslc dependency Signed-off-by: Curtis Millar <curtis.millar@data61.csiro.au>
diff --git a/CMakeLists.txt b/CMakeLists.txt index 3296e25..0ed0f60 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt
@@ -124,4 +124,4 @@ # A C library is still needed here to provide memcpy, stdint.h, and # elf.h -target_link_libraries(sel4runtime PUBLIC sel4 muslc sel4_autoconf PRIVATE sel4runtime_Config) +target_link_libraries(sel4runtime PUBLIC sel4 sel4_autoconf PRIVATE sel4runtime_Config)