style: make use of style fixes

Finally, we can put flags in a separate line

Signed-off-by: Axel Heider <axelheider@gmx.de>

config.cmake

@@ -248,20 +248,23 @@ config_string(
     KernelTimerTickMS TIMER_TICK_MS "Timer tick period in milliseconds"
     DEFAULT 2
     UNQUOTE
-    DEPENDS "NOT KernelIsMCS" UNDEF_DISABLED
+    DEPENDS "NOT KernelIsMCS"
+    UNDEF_DISABLED
 )
 config_string(
     KernelTimeSlice TIME_SLICE "Number of timer ticks until a thread is preempted."
     DEFAULT 5
     UNQUOTE
-    DEPENDS "NOT KernelIsMCS" UNDEF_DISABLED
+    DEPENDS "NOT KernelIsMCS"
+    UNDEF_DISABLED
 )
 config_string(
     KernelBootThreadTimeSlice BOOT_THREAD_TIME_SLICE
     "Number of milliseconds until the boot thread is preempted."
     DEFAULT 5
     UNQUOTE
-    DEPENDS "KernelIsMCS" UNDEF_DISABLED
+    DEPENDS "KernelIsMCS"
+    UNDEF_DISABLED
 )
 config_string(
     KernelRetypeFanOutLimit RETYPE_FAN_OUT_LIMIT
@@ -357,8 +360,8 @@ config_string(
     active FPU state, we increment this setting and if it exceeds this threshold we\
     switch to the NULL state."
     DEFAULT 64
-    DEPENDS "KernelHaveFPU" UNDEF_DISABLED
-    UNQUOTE
+    DEPENDS "KernelHaveFPU"
+    UNDEF_DISABLED UNQUOTE
 )
 
 config_option(
@@ -543,7 +546,8 @@ config_string(
      that can be fiddled with when running inside a simulator."
     DEFAULT 1
     UNQUOTE
-    DEPENDS "KernelIsMCS" UNDEF_DISABLED
+    DEPENDS "KernelIsMCS"
+    UNDEF_DISABLED
 )
 
 config_string(
@@ -552,7 +556,8 @@ config_string(
     either its period or budget configured."
     DEFAULT 0
     UNQUOTE
-    DEPENDS "KernelIsMCS" UNDEF_DISABLED
+    DEPENDS "KernelIsMCS"
+    UNDEF_DISABLED
 )
 
 config_option(

src/arch/riscv/config.cmake

@@ -11,8 +11,8 @@ config_string(
     KernelPTLevels PT_LEVELS "Number of page \
     table levels for RISC-V depends on the mode. For example there are: \
     2, 3 and 4 levels on Sv32, Sv39, Sv48 RISC-V paging modes respectively."
-    DEFAULT 3 UNDEF_DISABLED
-    UNQUOTE
+    DEFAULT 3
+    UNDEF_DISABLED UNQUOTE
     DEPENDS "KernelArchRiscV"
 )
 

src/arch/x86/config.cmake

@@ -72,8 +72,8 @@ config_option(
 config_string(
     KernelCacheLnSz CACHE_LN_SZ "Define cache line size for the current architecture"
     DEFAULT 64
-    DEPENDS "KernelArchX86" UNDEF_DISABLED
-    UNQUOTE
+    DEPENDS "KernelArchX86"
+    UNDEF_DISABLED UNQUOTE
 )
 
 config_option(
@@ -229,8 +229,8 @@ config_string(
     "The bits per pixel of the linear graphics mode ot request. Value of zero indicates \
     no preference."
     DEFAULT 32
-    DEPENDS "KernelMultibootGFXModeLinear" UNDEF_DISABLED
-    UNQUOTE
+    DEPENDS "KernelMultibootGFXModeLinear"
+    UNDEF_DISABLED UNQUOTE
 )
 
 config_string(
@@ -239,17 +239,17 @@ config_string(
     number of pixels. For a text mode this is the number of characters, value of zero \
     indicates no preference."
     DEFAULT 0
-    DEPENDS "KernelMultibootGFXModeText OR KernelMultibootGFXModeLinear" UNDEF_DISABLED
-    UNQUOTE
+    DEPENDS "KernelMultibootGFXModeText OR KernelMultibootGFXModeLinear"
+    UNDEF_DISABLED UNQUOTE
 )
 config_string(
     KernelMultibootGFXHeight MULTIBOOT_GRAPHICS_MODE_HEIGHT
     "The height of the graphics mode to request. For a linear graphics mode this is the \
     number of pixels. For a text mode this is the number of characters, value of zero \
     indicates no preference."
     DEFAULT 0
-    DEPENDS "KernelMultibootGFXModeText OR KernelMultibootGFXModeLinear" UNDEF_DISABLED
-    UNQUOTE
+    DEPENDS "KernelMultibootGFXModeText OR KernelMultibootGFXModeLinear"
+    UNDEF_DISABLED UNQUOTE
 )
 
 config_option(

src/plat/qemu-arm-virt/config.cmake

@@ -273,5 +273,6 @@ config_string(
     KernelUserTop USER_TOP "Set seL4_UserTop constant"
     DEFAULT ${qemu_user_top}
     UNQUOTE
-    DEPENDS "KernelPlatformQEMUArmVirt;KernelSel4ArchAarch32" UNDEF_DISABLED
+    DEPENDS "KernelPlatformQEMUArmVirt;KernelSel4ArchAarch32"
+    UNDEF_DISABLED
 )