trivial: style CMakeLists.txt files
diff --git a/libsel4allocman/CMakeLists.txt b/libsel4allocman/CMakeLists.txt
index 66e2288..d17ae46 100644
--- a/libsel4allocman/CMakeLists.txt
+++ b/libsel4allocman/CMakeLists.txt
@@ -16,7 +16,14 @@
set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -std=gnu99")
-file(GLOB deps src/*.c src/cspace/*.c src/utspace/*.c src/mspace/*.c)
+file(
+ GLOB
+ deps
+ src/*.c
+ src/cspace/*.c
+ src/utspace/*.c
+ src/mspace/*.c
+)
list(SORT deps)
diff --git a/libsel4bench/CMakeLists.txt b/libsel4bench/CMakeLists.txt
index 1093a8a..b30d55c 100644
--- a/libsel4bench/CMakeLists.txt
+++ b/libsel4bench/CMakeLists.txt
@@ -14,25 +14,29 @@
project(libsel4bench C)
-file(GLOB deps
- src/*.c
- src/arch/${KernelArch}/*.c
- src/arch/${KernelArch}/armv/${KernelArmArmV}/*.c
- src/arch/${KernelArch}/cpu/${KernelArmCPU}/*.c
+file(
+ GLOB
+ deps
+ src/*.c
+ src/arch/${KernelArch}/*.c
+ src/arch/${KernelArch}/armv/${KernelArmArmV}/*.c
+ src/arch/${KernelArch}/cpu/${KernelArmCPU}/*.c
)
list(SORT deps)
add_library(sel4bench EXCLUDE_FROM_ALL ${deps})
-target_include_directories(sel4bench PUBLIC
- include
- "arch_include/${KernelArch}/armv/${KernelArmArmV}"
- "arch_include/${KernelArch}/cpu/${KernelArmCPU}"
- "sel4_arch_include/${KernelSel4Arch}/"
- "arch_include/${KernelArch}"
- src
- )
-if (KernelArmArmV STREQUAL "armv7ve")
+target_include_directories(
+ sel4bench
+ PUBLIC
+ include
+ "arch_include/${KernelArch}/armv/${KernelArmArmV}"
+ "arch_include/${KernelArch}/cpu/${KernelArmCPU}"
+ "sel4_arch_include/${KernelSel4Arch}/"
+ "arch_include/${KernelArch}"
+ src
+)
+if(KernelArmArmV STREQUAL "armv7ve")
target_include_directories(sel4bench PUBLIC "arch_include/${KernelArch}/armv/armv7-a")
endif()
target_link_libraries(sel4bench Configuration muslc sel4 utils sel4benchsupport)
diff --git a/libsel4debug/CMakeLists.txt b/libsel4debug/CMakeLists.txt
index eb4f2b8..6a2b1fa 100644
--- a/libsel4debug/CMakeLists.txt
+++ b/libsel4debug/CMakeLists.txt
@@ -16,17 +16,22 @@
set(configure_string "")
-config_string(LibSel4DebugAllocBufferEntries LIBSEL4DEBUG_ALLOC_BUFFER_ENTRIES
+config_string(
+ LibSel4DebugAllocBufferEntries
+ LIBSEL4DEBUG_ALLOC_BUFFER_ENTRIES
"Pointer tracking buffer entries \
Size of buffer to use for tracking memory allocations within \
instrumentation. This setting has no effect if you are not using the \
allocation instrumentation. Setting this value to 0 disables pointer \
tracking."
- DEFAULT 0
+ DEFAULT
+ 0
UNQUOTE
)
-config_choice(LibSel4DebugFunctionInstrumentation LIB_SEL4_DEBUG_FUNCTION_INSTRUMENTAITON
+config_choice(
+ LibSel4DebugFunctionInstrumentation
+ LIB_SEL4_DEBUG_FUNCTION_INSTRUMENTAITON
"Function instrumentation to apply to function calls. This setting will only have \
an effect when your CFLAGS include -finstrument-functions, in which \
case __cyg_profile_func_enter will be called on every function entry \
@@ -51,10 +56,20 @@
add_config_library(sel4debug "${configure_string}")
-file(GLOB deps src/*.c src/sel4_arch/${KernelSel4Arch}/*.c src/plat/${KernelPlatform}/*.c src/sel4_arch/${KernelSel4Arch}/*.S)
+file(
+ GLOB
+ deps
+ src/*.c
+ src/sel4_arch/${KernelSel4Arch}/*.c
+ src/plat/${KernelPlatform}/*.c
+ src/sel4_arch/${KernelSel4Arch}/*.S
+)
list(SORT deps)
add_library(sel4debug STATIC EXCLUDE_FROM_ALL ${deps})
-target_include_directories(sel4debug PUBLIC include "arch_include/${KernelArch}" sel4_arch_include/${KernelSel4Arch})
+target_include_directories(
+ sel4debug
+ PUBLIC include "arch_include/${KernelArch}" sel4_arch_include/${KernelSel4Arch}
+)
target_link_libraries(sel4debug Configuration muslc sel4 utils)
diff --git a/libsel4muslcsys/CMakeLists.txt b/libsel4muslcsys/CMakeLists.txt
index e279912..0f2188a 100644
--- a/libsel4muslcsys/CMakeLists.txt
+++ b/libsel4muslcsys/CMakeLists.txt
@@ -20,32 +20,38 @@
This value sets the number of bytes reserved for the region malloc \
allocates from. Note that you won't actually be able to allocate this \
entire amount because there is some bookkeeping overhead. This area is \
- allocated statically."
- DEFAULT 1048576
- UNQUOTE
-)
+ allocated statically." DEFAULT 1048576 UNQUOTE)
-config_option(LibSel4MuslcSysDebugHalt LIB_SEL4_MUSLC_SYS_DEBUG_HALT
+config_option(
+ LibSel4MuslcSysDebugHalt
+ LIB_SEL4_MUSLC_SYS_DEBUG_HALT
"Perform seL4_DebugHalt on _exit and _abort \
Controls whether or not a DebugHalt should be called to implement Exit \
style syscalls. This is useful if you have a single app and thread, but \
should be turned off if using multiple threads that may wish to exit \
independently of the whole system"
- DEFAULT ON
+ DEFAULT
+ ON
)
-config_option(LibSel4MuslcSysCPIOFS LIB_SEL4_MUSLC_SYS_CPIO_FS
+config_option(
+ LibSel4MuslcSysCPIOFS
+ LIB_SEL4_MUSLC_SYS_CPIO_FS
"Implementation of a simple file system usi g CPIO archives \
If this is enabled open and read syscalls will attempt to use the cpio archive \
_cpio_archive. This implements a basic read only POSIX interface to that file system"
- DEFAULT OFF
+ DEFAULT
+ OFF
)
-config_option(LibSel4MuslcSysArchPutcharWeak LIB_SEL4_MUSLC_SYS_ARCH_PUTCHAR_WEAK
+config_option(
+ LibSel4MuslcSysArchPutcharWeak
+ LIB_SEL4_MUSLC_SYS_ARCH_PUTCHAR_WEAK
"Make __arch_putchar a weak symbol \
This allows you to override __arch_putchar in another library or your \
application."
- DEFAULT OFF
+ DEFAULT
+ OFF
)
add_config_library(sel4muslcsys "${configure_string}")
diff --git a/libsel4platsupport/CMakeLists.txt b/libsel4platsupport/CMakeLists.txt
index ea8ae5c..a944153 100644
--- a/libsel4platsupport/CMakeLists.txt
+++ b/libsel4platsupport/CMakeLists.txt
@@ -16,36 +16,68 @@
set(configure_string "")
-config_option(LibSel4PlatSupportUseDebugPutChar LIB_SEL4_PLAT_SUPPORT_USE_SEL4_DEBUG_PUTCHAR
+config_option(
+ LibSel4PlatSupportUseDebugPutChar
+ LIB_SEL4_PLAT_SUPPORT_USE_SEL4_DEBUG_PUTCHAR
"Redirect putchar() to seL4_DebugPutchar()"
- DEFAULT ON
- DEPENDS "KernelPrinting" DEFAULT_DISABLED OFF
+ DEFAULT
+ ON
+ DEPENDS
+ "KernelPrinting"
+ DEFAULT_DISABLED
+ OFF
)
-config_option(LibSel4PlatSupportStart LIB_SEL4_PLAT_SUPPORT_START
+config_option(
+ LibSel4PlatSupportStart
+ LIB_SEL4_PLAT_SUPPORT_START
"Supply _start entry point. Emit _start with a default definition that sets up a \
stack and does what's required to enter main()."
- DEFAULT OFF
+ DEFAULT
+ OFF
)
-config_option(LibSel4SupportSel4Start LIB_SEL4_PLAT_SUPPORT_SEL4_START
+config_option(
+ LibSel4SupportSel4Start
+ LIB_SEL4_PLAT_SUPPORT_SEL4_START
"Supply _sel4_start entry point. Emit a _sel4_start that sets up a stack and does \
what's required to enter a regular _start routine"
- DEFAULT ON
+ DEFAULT
+ ON
)
add_config_library(sel4platsupport "${configure_string}")
-file(GLOB deps src/*.c src/cspace/*.c src/arch/${KernelArch}/*.c
- src/plat/${KernelPlatform}/*.c src/mach/${KernelArmMach}/*.c
- src/sel4_arch/${KernelSel4Arch}/*.S
- src/arch/${KernelArch}/*.S)
+file(
+ GLOB
+ deps
+ src/*.c
+ src/cspace/*.c
+ src/arch/${KernelArch}/*.c
+ src/plat/${KernelPlatform}/*.c
+ src/mach/${KernelArmMach}/*.c
+ src/sel4_arch/${KernelSel4Arch}/*.S
+ src/arch/${KernelArch}/*.S
+)
list(SORT deps)
add_library(sel4platsupport STATIC EXCLUDE_FROM_ALL ${deps})
-target_include_directories(sel4platsupport PUBLIC include "arch_include/${KernelArch}" plat_include/${KernelPlatform})
+target_include_directories(
+ sel4platsupport
+ PUBLIC include "arch_include/${KernelArch}" plat_include/${KernelPlatform}
+)
if(NOT "${KernelArmMach}" STREQUAL "")
target_include_directories(sel4platsupport PUBLIC include "mach_include/${KernelArmMach}")
endif()
-target_link_libraries(sel4platsupport Configuration muslc sel4 sel4simple utils sel4vspace platsupport sel4simple-default)
+target_link_libraries(
+ sel4platsupport
+ Configuration
+ muslc
+ sel4
+ sel4simple
+ utils
+ sel4vspace
+ platsupport
+ sel4simple-default
+)
diff --git a/libsel4serialserver/CMakeLists.txt b/libsel4serialserver/CMakeLists.txt
index 101913c..5e6ae06 100644
--- a/libsel4serialserver/CMakeLists.txt
+++ b/libsel4serialserver/CMakeLists.txt
@@ -14,11 +14,14 @@
project(libsel4serialserver C)
-set (configure_string "")
+set(configure_string "")
-config_option(LibSel4SerialServerColoredOutput SERIAL_SERVER_COLOURED_OUTPUT
+config_option(
+ LibSel4SerialServerColoredOutput
+ SERIAL_SERVER_COLOURED_OUTPUT
"Annotate output with different ansi colours for each client"
- DEFAULT ON
+ DEFAULT
+ ON
)
add_config_library(sel4serialserver "${configure_string}")
@@ -29,4 +32,16 @@
add_library(sel4serialserver STATIC EXCLUDE_FROM_ALL ${deps})
target_include_directories(sel4serialserver PUBLIC include)
-target_link_libraries(sel4serialserver Configuration muslc sel4 sel4vspace sel4simple sel4platsupport utils sel4utils sel4vka sel4test)
+target_link_libraries(
+ sel4serialserver
+ Configuration
+ muslc
+ sel4
+ sel4vspace
+ sel4simple
+ sel4platsupport
+ utils
+ sel4utils
+ sel4vka
+ sel4test
+)
diff --git a/libsel4test/CMakeLists.txt b/libsel4test/CMakeLists.txt
index 706f6e0..b2bebbd 100644
--- a/libsel4test/CMakeLists.txt
+++ b/libsel4test/CMakeLists.txt
@@ -16,23 +16,26 @@
set(configure_string "")
-config_string(LibSel4TestPrinterRegex TESTPRINTER_REGEX
+config_string(
+ LibSel4TestPrinterRegex
+ TESTPRINTER_REGEX
"A POSIX regex pattern that is used to filter the tests to run"
- DEFAULT ".*"
+ DEFAULT
+ ".*"
)
-config_option(LibSel4TestPrinterHaltOnTestFailure TESTPRINTER_HALT_ON_TEST_FAILURE
+config_option(
+ LibSel4TestPrinterHaltOnTestFailure
+ TESTPRINTER_HALT_ON_TEST_FAILURE
"Halt on the first test failure \
Default behaviour is to try and run the test suite, regardless of any failures. \
Turning this on will stop the test suite on the first error"
- DEFAULT OFF
+ DEFAULT
+ OFF
)
-config_option(LibSel4TestPrintXML PRINT_XML
- "Print XML output. This will \
+config_option(LibSel4TestPrintXML PRINT_XML "Print XML output. This will \
buffer the test output and print in <stdout> blocks so that bamboo \
- can parse the test logs properly. Turn this off for debugging your test suite"
- DEFAULT OFF
-)
+ can parse the test logs properly. Turn this off for debugging your test suite" DEFAULT OFF)
add_config_library(sel4test "${configure_string}")
@@ -42,4 +45,16 @@
add_library(sel4test STATIC EXCLUDE_FROM_ALL ${deps})
target_include_directories(sel4test PUBLIC include)
-target_link_libraries(sel4test Configuration muslc sel4 utils sel4vka sel4vspace sel4platsupport sel4sync sel4simple sel4utils)
+target_link_libraries(
+ sel4test
+ Configuration
+ muslc
+ sel4
+ utils
+ sel4vka
+ sel4vspace
+ sel4platsupport
+ sel4sync
+ sel4simple
+ sel4utils
+)
diff --git a/libsel4utils/CMakeLists.txt b/libsel4utils/CMakeLists.txt
index 81a9a6b..7439a75 100644
--- a/libsel4utils/CMakeLists.txt
+++ b/libsel4utils/CMakeLists.txt
@@ -16,28 +16,55 @@
set(configure_string "")
-config_string(LibSel4UtilsStackSize SEL4UTILS_STACK_SIZE
+config_string(
+ LibSel4UtilsStackSize
+ SEL4UTILS_STACK_SIZE
"Size of stacks in bytes to allocate if using vspace interface in this library"
- DEFAULT 65536
+ DEFAULT
+ 65536
UNQUOTE
)
-config_string(LibSel4UtilsCSpaceSizeBits SEL4UTILS_CSPACE_SIZE_BITS
+config_string(
+ LibSel4UtilsCSpaceSizeBits
+ SEL4UTILS_CSPACE_SIZE_BITS
"Size of default cspace to spawn processes with"
- DEFAULT 12
+ DEFAULT
+ 12
UNQUOTE
)
config_option(LibSel4UtilsProfile SEL4UTILS_PROFILE "Profiling tools \
Enables the functionality of a set of profiling tools. When disabled these profiling tools \
- will compile down to nothing."
- DEFAULT OFF
-)
+ will compile down to nothing." DEFAULT OFF)
add_config_library(sel4utils "${configure_string}")
-file(GLOB deps src/*.c src/vspace/*.c src/irq_server/*.c src/serial_server/*.c src/time_server/*.c src/sel4_arch/${KernelSel4Arch}/*.c src/arch/${KernelArch}/*.c)
+file(
+ GLOB
+ deps
+ src/*.c
+ src/vspace/*.c
+ src/irq_server/*.c
+ src/serial_server/*.c
+ src/time_server/*.c
+ src/sel4_arch/${KernelSel4Arch}/*.c
+ src/arch/${KernelArch}/*.c
+)
list(SORT deps)
add_library(sel4utils STATIC EXCLUDE_FROM_ALL ${deps})
-target_include_directories(sel4utils PUBLIC include "sel4_arch_include/${KernelSel4Arch}" "arch_include/${KernelArch}")
-target_link_libraries(sel4utils Configuration muslc sel4 sel4vspace sel4simple sel4platsupport elf cpio)
+target_include_directories(
+ sel4utils
+ PUBLIC include "sel4_arch_include/${KernelSel4Arch}" "arch_include/${KernelArch}"
+)
+target_link_libraries(
+ sel4utils
+ Configuration
+ muslc
+ sel4
+ sel4vspace
+ sel4simple
+ sel4platsupport
+ elf
+ cpio
+)
diff --git a/libsel4vka/CMakeLists.txt b/libsel4vka/CMakeLists.txt
index 688a7db..68ddb00 100644
--- a/libsel4vka/CMakeLists.txt
+++ b/libsel4vka/CMakeLists.txt
@@ -21,11 +21,11 @@
instead of assert failing. \
This is useful in scenarios where code is correctly freeing \
resources, but you want to use an allocator that does not \
- implement free."
- DEFAULT OFF
-)
+ implement free." DEFAULT OFF)
-config_string(LibVKADebugLiveSlotsSZ LIB_SEL4_VKA_DEBUG_LIVE_SLOTS_SZ
+config_string(
+ LibVKADebugLiveSlotsSZ
+ LIB_SEL4_VKA_DEBUG_LIVE_SLOTS_SZ
"(debug allocator) live slot buffer size \
VKA contains an allocator, debugvka, that wraps a target VKA allocator \
for the purposes of debugging. It tracks slot and object allocations \
@@ -33,15 +33,19 @@
problems like handing out the same resource twice. This configuration \
option sets the maximum number of CSlots that can be tracked at any one \
time."
- DEFAULT 0
+ DEFAULT
+ 0
UNQUOTE
)
-config_string(LibVKADebugLiveObjsSZ LIB_SEL4_VKA_DEBUG_LIVE_OBJS_SZ
+config_string(
+ LibVKADebugLiveObjsSZ
+ LIB_SEL4_VKA_DEBUG_LIVE_OBJS_SZ
"(debug allocator) live object buffer size \
As for the above option, but sets the maximum number of objects that \
can be tracked at any one time."
- DEFAULT 0
+ DEFAULT
+ 0
UNQUOTE
)
@@ -52,5 +56,8 @@
list(SORT deps)
add_library(sel4vka STATIC EXCLUDE_FROM_ALL ${deps})
-target_include_directories(sel4vka PUBLIC include "sel4_arch_include/${KernelSel4Arch}" "arch_include/${KernelArch}")
+target_include_directories(
+ sel4vka
+ PUBLIC include "sel4_arch_include/${KernelSel4Arch}" "arch_include/${KernelArch}"
+)
target_link_libraries(sel4vka Configuration muslc sel4 utils)
diff --git a/libsel4vmm/CMakeLists.txt b/libsel4vmm/CMakeLists.txt
index 700c39b..f41137e 100644
--- a/libsel4vmm/CMakeLists.txt
+++ b/libsel4vmm/CMakeLists.txt
@@ -16,63 +16,75 @@
set(configure_string "")
-config_option(LibSel4VMMVESAFrameBuffer VMM_VESA_FRAMEBUFFER
- "Expose VESA Frame Buffer
+config_option(LibSel4VMMVESAFrameBuffer VMM_VESA_FRAMEBUFFER "Expose VESA Frame Buffer
Support for mapping the VESA frame buffer frames into the guest OS.
This option is useful for working around non-working video drivers otherwise,
- due to missing features or such."
- DEFAULT ON
-)
+ due to missing features or such." DEFAULT ON)
-config_option(LibSel4VMMDebug LIB_VMM_DEBUG
- "Enable VMM debug output"
- DEFAULT ON
-)
+config_option(LibSel4VMMDebug LIB_VMM_DEBUG "Enable VMM debug output" DEFAULT ON)
-config_string(LibSel4VMMDebugLevel LIB_VMM_DEBUG_LEVEL
- "VMM Debug Output
+config_string(LibSel4VMMDebugLevel LIB_VMM_DEBUG_LEVEL "VMM Debug Output
Debug verbosity level.
5 levels for debug messages:
0: Always printout
1: Main entry point in a module
2: 2nd level entry point in a module
3: Main entry point of a function
- 4: Details inside a function"
- DEFAULT 3
- UNQUOTE
-)
+ 4: Details inside a function" DEFAULT 3 UNQUOTE)
-config_option(LibSel4VMMVMXTimerDebug LIB_VMM_VMX_TIMER_DEBUG
+config_option(
+ LibSel4VMMVMXTimerDebug
+ LIB_VMM_VMX_TIMER_DEBUG
"Use VMX Pre-Emption timer for debugging
Will cause a regular vmexit to happen based on VMX pre-emption
timer. At each exit the guest state will be printed out. This
can be used to aid debugging when running a guest causes nothing
to appear to happen"
- DEFAULT OFF
+ DEFAULT
+ OFF
)
-config_string(LibSel4VMMVMXTimerTimeout LIB_VMM_VMX_TIMER_TIMEOUT
+config_string(
+ LibSel4VMMVMXTimerTimeout
+ LIB_VMM_VMX_TIMER_TIMEOUT
"Cycles between VMX timer pre-emptions
Cycles between timer exits. Time spent loading the VMCS context
count, so setting this too low may result in the guest making
no progress"
- DEFAULT 4000
- DEPENDS "LibSel4VMMVMXTimerDebug"
+ DEFAULT
+ 4000
+ DEPENDS
+ "LibSel4VMMVMXTimerDebug"
)
-config_option(LibSel4VMMIgnoreEPTViolation VMM_IGNORE_EPT_VIOLATION
- "Ignore EPT Violations
- If set then EPT faults will be ignored and the guest will be resumed"
- DEFAULT OFF
-)
+config_option(LibSel4VMMIgnoreEPTViolation VMM_IGNORE_EPT_VIOLATION "Ignore EPT Violations
+ If set then EPT faults will be ignored and the guest will be resumed" DEFAULT OFF)
add_config_library(sel4vmm "${configure_string}")
add_compile_options(-std=gnu99)
-file(GLOB sources src/vmm/*.c src/platform/*.c src/driver/*.c src/manager/*.c src/processor/*.c)
+file(
+ GLOB
+ sources
+ src/vmm/*.c
+ src/platform/*.c
+ src/driver/*.c
+ src/manager/*.c
+ src/processor/*.c
+)
add_library(sel4vmm STATIC EXCLUDE_FROM_ALL ${sources})
target_include_directories(sel4vmm PUBLIC include)
-target_link_libraries(sel4vmm Configuration muslc sel4 sel4utils pci sel4allocman ethdrivers platsupport)
+target_link_libraries(
+ sel4vmm
+ Configuration
+ muslc
+ sel4
+ sel4utils
+ pci
+ sel4allocman
+ ethdrivers
+ platsupport
+)
diff --git a/libsel4vspace/CMakeLists.txt b/libsel4vspace/CMakeLists.txt
index 1b9f9b8..f497795 100644
--- a/libsel4vspace/CMakeLists.txt
+++ b/libsel4vspace/CMakeLists.txt
@@ -14,7 +14,13 @@
project(libsel4vspace C)
-file(GLOB deps src/*.c src/arch/${KernelArch}/*.c src/sel4_arch/${KernelSel4Arch}/*.c)
+file(
+ GLOB
+ deps
+ src/*.c
+ src/arch/${KernelArch}/*.c
+ src/sel4_arch/${KernelSel4Arch}/*.c
+)
list(SORT deps)
