diff --git a/libsel4debug/CMakeLists.txt b/libsel4debug/CMakeLists.txt
index 4b950aa..8e66f45 100644
--- a/libsel4debug/CMakeLists.txt
+++ b/libsel4debug/CMakeLists.txt
@@ -75,4 +75,4 @@
         "arch_include/${KernelArch}"
         sel4_arch_include/${KernelSel4Arch}
 )
-target_link_libraries(sel4debug muslc sel4 utils sel4debug_Config)
+target_link_libraries(sel4debug PUBLIC muslc sel4 utils PRIVATE sel4debug_Config)
diff --git a/libsel4platsupport/CMakeLists.txt b/libsel4platsupport/CMakeLists.txt
index fc7c282..3b03a00 100644
--- a/libsel4platsupport/CMakeLists.txt
+++ b/libsel4platsupport/CMakeLists.txt
@@ -78,6 +78,7 @@
 endif()
 target_link_libraries(
     sel4platsupport
+    PUBLIC
     muslc
     sel4
     sel4runtime
@@ -86,6 +87,7 @@
     sel4vspace
     platsupport
     sel4simple-default
+    PRIVATE
     sel4platsupport_Config
     sel4muslcsys_Config
 )
diff --git a/libsel4serialserver/CMakeLists.txt b/libsel4serialserver/CMakeLists.txt
index 9d57de2..2ee9f43 100644
--- a/libsel4serialserver/CMakeLists.txt
+++ b/libsel4serialserver/CMakeLists.txt
@@ -35,6 +35,7 @@
 )
 target_link_libraries(
     sel4serialserver
+    PUBLIC
     muslc
     sel4
     sel4vspace
@@ -43,6 +44,7 @@
     utils
     sel4utils
     sel4vka
+    PRIVATE
     sel4serialserver_Config
 )
 
diff --git a/libsel4simple-default/CMakeLists.txt b/libsel4simple-default/CMakeLists.txt
index b8a6896..24dbeca 100644
--- a/libsel4simple-default/CMakeLists.txt
+++ b/libsel4simple-default/CMakeLists.txt
@@ -20,4 +20,4 @@
 
 add_library(sel4simple-default STATIC EXCLUDE_FROM_ALL ${deps})
 target_include_directories(sel4simple-default PUBLIC include)
-target_link_libraries(sel4simple-default muslc sel4 sel4simple sel4debug sel4vspace)
+target_link_libraries(sel4simple-default PUBLIC muslc sel4 sel4simple sel4debug sel4vspace PRIVATE sel4debug_Config)
diff --git a/libsel4vka/CMakeLists.txt b/libsel4vka/CMakeLists.txt
index afe0da1..e37f68b 100644
--- a/libsel4vka/CMakeLists.txt
+++ b/libsel4vka/CMakeLists.txt
@@ -63,4 +63,4 @@
         "sel4_arch_include/${KernelSel4Arch}"
         "arch_include/${KernelArch}"
 )
-target_link_libraries(sel4vka muslc sel4 utils sel4vka_Config)
+target_link_libraries(sel4vka PUBLIC muslc sel4 utils sel4vka_Config)
diff --git a/libsel4vmm/CMakeLists.txt b/libsel4vmm/CMakeLists.txt
index 0e8bf33..0db33ad 100644
--- a/libsel4vmm/CMakeLists.txt
+++ b/libsel4vmm/CMakeLists.txt
@@ -90,6 +90,7 @@
 )
 target_link_libraries(
     sel4vmm
+    PUBLIC
     muslc
     sel4
     sel4utils
@@ -97,5 +98,6 @@
     sel4allocman
     ethdrivers
     platsupport
+    PRIVATE
     sel4vmm_Config
 )