replace kernel_autoconf with sel4_autoconf
since the mainline kernel's kernel_autoconf doesn't include
seL4/gen_config.h but sel4_autoconf does
diff --git a/libsel4allocman/CMakeLists.txt b/libsel4allocman/CMakeLists.txt
index 1a06011..face790 100644
--- a/libsel4allocman/CMakeLists.txt
+++ b/libsel4allocman/CMakeLists.txt
@@ -38,5 +38,5 @@
sel4vka
sel4utils
sel4vspace
- kernel_autoconf
+ sel4_autoconf
)
diff --git a/libsel4bench/CMakeLists.txt b/libsel4bench/CMakeLists.txt
index 6bc42aa..704db35 100644
--- a/libsel4bench/CMakeLists.txt
+++ b/libsel4bench/CMakeLists.txt
@@ -39,4 +39,4 @@
if(KernelArmArmV STREQUAL "armv7ve")
target_include_directories(sel4bench PUBLIC "arch_include/${KernelArch}/armv/armv7-a")
endif()
-target_link_libraries(sel4bench muslc sel4 utils sel4benchsupport kernel_autoconf)
+target_link_libraries(sel4bench muslc sel4 utils sel4benchsupport sel4_autoconf)
diff --git a/libsel4debug/CMakeLists.txt b/libsel4debug/CMakeLists.txt
index fad98da..850cc5a 100644
--- a/libsel4debug/CMakeLists.txt
+++ b/libsel4debug/CMakeLists.txt
@@ -72,4 +72,4 @@
sel4debug
PUBLIC include "arch_include/${KernelArch}" sel4_arch_include/${KernelSel4Arch}
)
-target_link_libraries(sel4debug PUBLIC muslc sel4 utils PRIVATE sel4debug_Config kernel_autoconf)
+target_link_libraries(sel4debug PUBLIC muslc sel4 utils PRIVATE sel4debug_Config sel4_autoconf)
diff --git a/libsel4muslcsys/CMakeLists.txt b/libsel4muslcsys/CMakeLists.txt
index e7c560f..3c1b928 100644
--- a/libsel4muslcsys/CMakeLists.txt
+++ b/libsel4muslcsys/CMakeLists.txt
@@ -83,5 +83,5 @@
utils
sel4utils
sel4muslcsys_Config
- PRIVATE kernel_autoconf
+ PRIVATE sel4_autoconf
)
diff --git a/libsel4platsupport/CMakeLists.txt b/libsel4platsupport/CMakeLists.txt
index 9ce6cda..b23531b 100644
--- a/libsel4platsupport/CMakeLists.txt
+++ b/libsel4platsupport/CMakeLists.txt
@@ -87,5 +87,5 @@
sel4vspace
platsupport
sel4simple-default
- PRIVATE sel4platsupport_Config sel4muslcsys_Config kernel_autoconf
+ PRIVATE sel4platsupport_Config sel4muslcsys_Config sel4_autoconf
)
diff --git a/libsel4serialserver/CMakeLists.txt b/libsel4serialserver/CMakeLists.txt
index d59d111..ec98110 100644
--- a/libsel4serialserver/CMakeLists.txt
+++ b/libsel4serialserver/CMakeLists.txt
@@ -41,7 +41,7 @@
utils
sel4utils
sel4vka
- PRIVATE kernel_autoconf sel4serialserver_Config
+ PRIVATE sel4_autoconf sel4serialserver_Config
)
add_library(sel4serialserver_tests STATIC EXCLUDE_FROM_ALL src/test.c)
diff --git a/libsel4simple-default/CMakeLists.txt b/libsel4simple-default/CMakeLists.txt
index 5d7e336..bec383c 100644
--- a/libsel4simple-default/CMakeLists.txt
+++ b/libsel4simple-default/CMakeLists.txt
@@ -28,5 +28,5 @@
sel4simple
sel4debug
sel4vspace
- PRIVATE kernel_autoconf
+ PRIVATE sel4_autoconf
)
diff --git a/libsel4simple/CMakeLists.txt b/libsel4simple/CMakeLists.txt
index a844e5c..9a350de 100644
--- a/libsel4simple/CMakeLists.txt
+++ b/libsel4simple/CMakeLists.txt
@@ -26,4 +26,4 @@
add_library(sel4simple STATIC EXCLUDE_FROM_ALL ${deps})
target_include_directories(sel4simple PUBLIC include "arch_include/${kernel_arch}")
-target_link_libraries(sel4simple muslc sel4 utils sel4vka kernel_autoconf)
+target_link_libraries(sel4simple muslc sel4 utils sel4vka sel4_autoconf)
diff --git a/libsel4sync/CMakeLists.txt b/libsel4sync/CMakeLists.txt
index a0ca986..5faf9cb 100644
--- a/libsel4sync/CMakeLists.txt
+++ b/libsel4sync/CMakeLists.txt
@@ -20,4 +20,4 @@
add_library(sel4sync STATIC EXCLUDE_FROM_ALL ${deps})
target_include_directories(sel4sync PUBLIC include)
-target_link_libraries(sel4sync muslc sel4 sel4vka platsupport utils kernel_autoconf)
+target_link_libraries(sel4sync muslc sel4 sel4vka platsupport utils sel4_autoconf)
diff --git a/libsel4test/CMakeLists.txt b/libsel4test/CMakeLists.txt
index 7a05154..b903f19 100644
--- a/libsel4test/CMakeLists.txt
+++ b/libsel4test/CMakeLists.txt
@@ -57,6 +57,6 @@
sel4sync
sel4simple
sel4utils
- kernel_autoconf
+ sel4_autoconf
sel4test_Config
)
diff --git a/libsel4utils/CMakeLists.txt b/libsel4utils/CMakeLists.txt
index 35dc686..ed5363b 100644
--- a/libsel4utils/CMakeLists.txt
+++ b/libsel4utils/CMakeLists.txt
@@ -68,5 +68,5 @@
elf
cpio
sel4utils_Config
- kernel_autoconf
+ sel4_autoconf
)
diff --git a/libsel4vka/CMakeLists.txt b/libsel4vka/CMakeLists.txt
index a3e32ba..b1e5fe8 100644
--- a/libsel4vka/CMakeLists.txt
+++ b/libsel4vka/CMakeLists.txt
@@ -67,5 +67,5 @@
sel4
utils
sel4vka_Config
- kernel_autoconf
+ sel4_autoconf
)
diff --git a/libsel4vmm/CMakeLists.txt b/libsel4vmm/CMakeLists.txt
index 5694a60..5dc65a9 100644
--- a/libsel4vmm/CMakeLists.txt
+++ b/libsel4vmm/CMakeLists.txt
@@ -95,5 +95,5 @@
ethdrivers
platsupport
sel4vmm_Config
- kernel_autoconf
+ sel4_autoconf
)
diff --git a/libsel4vspace/CMakeLists.txt b/libsel4vspace/CMakeLists.txt
index 89c7d12..02dd4e4 100644
--- a/libsel4vspace/CMakeLists.txt
+++ b/libsel4vspace/CMakeLists.txt
@@ -26,4 +26,4 @@
add_library(sel4vspace STATIC EXCLUDE_FROM_ALL ${deps})
target_include_directories(sel4vspace PUBLIC include "arch_include/${KernelArch}")
-target_link_libraries(sel4vspace muslc sel4 sel4vka kernel_autoconf sel4utils_Config)
+target_link_libraries(sel4vspace muslc sel4 sel4vka sel4_autoconf sel4utils_Config)
