trivial: style and formatting

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

configs/seL4Config.cmake

@@ -14,8 +14,9 @@ set(bf_declarations "")
 
 include(${CMAKE_CURRENT_LIST_DIR}/../tools/internal.cmake)
 include(${CMAKE_CURRENT_LIST_DIR}/../tools/helpers.cmake)
-# Create and set all of the Kernel config options that can
-# be derived from the seL4 arch which is one of the following:
+
+# Create and set all of the Kernel config options that can be derived from the
+# seL4 arch which is one of the following:
 # aarch32, aarch64, arm_hyp, riscv32, riscv64, x86_64, ia32
 # This macro is intended to be called from within a platform config.
 macro(declare_seL4_arch sel4_arch)

libsel4/arch_include/arm/sel4/arch/simple_types.h

@@ -15,4 +15,3 @@ typedef signed int seL4_Int32;
 typedef unsigned char seL4_Uint8;
 typedef unsigned short seL4_Uint16;
 typedef unsigned int seL4_Uint32;
-

libsel4/arch_include/riscv/sel4/arch/simple_types.h

@@ -13,4 +13,3 @@ typedef signed int seL4_Int32;
 typedef unsigned char seL4_Uint8;
 typedef unsigned short seL4_Uint16;
 typedef unsigned int seL4_Uint32;
-

libsel4/include/sel4/simple_types.h

@@ -21,4 +21,3 @@ typedef seL4_Int8 seL4_Bool;
 #else
 #define seL4_Null ((void*)0)
 #endif // __cplusplus
-

libsel4/include/sel4/types.h

@@ -38,9 +38,9 @@ typedef seL4_CPtr seL4_Untyped;
 typedef seL4_CPtr seL4_DomainSet;
 typedef seL4_CPtr seL4_SchedContext;
 typedef seL4_CPtr seL4_SchedControl;
+
 typedef seL4_Uint64 seL4_Time;
 
 #define seL4_NilData 0
 
 #include <sel4/arch/constants.h>
-

libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/simple_types.h

@@ -9,5 +9,3 @@
 typedef signed long long seL4_Int64;
 
 typedef unsigned long long seL4_Uint64;
-
-

libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/types.h

@@ -22,4 +22,3 @@ typedef struct seL4_UserContext_ {
     /* Thread ID registers */
     seL4_Word tpidrurw, tpidruro;
 } seL4_UserContext;
-

libsel4/sel4_arch_include/ia32/sel4/sel4_arch/simple_types.h

@@ -5,6 +5,7 @@
  */
 
 #pragma once
+
 typedef signed char seL4_Int8;
 typedef signed short seL4_Int16;
 typedef signed int seL4_Int32;
@@ -14,5 +15,3 @@ typedef unsigned char seL4_Uint8;
 typedef unsigned short seL4_Uint16;
 typedef unsigned int seL4_Uint32;
 typedef unsigned long long seL4_Uint64;
-
-

libsel4/sel4_arch_include/ia32/sel4/sel4_arch/types.h

@@ -22,4 +22,3 @@ typedef struct seL4_UserContext_ {
     /* gpRegisters */
     seL4_Word fs_base, gs_base;
 } seL4_UserContext;
-

libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/simple_types.h

@@ -5,6 +5,6 @@
  */
 
 #pragma once
+
 typedef signed long long seL4_Int64;
 typedef unsigned long long seL4_Uint64;
-

libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/simple_types.h

@@ -8,5 +8,3 @@
 
 typedef signed long seL4_Int64;
 typedef unsigned long seL4_Uint64;
-
-

libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/types.h

@@ -11,4 +11,3 @@
 
 #define seL4_WordBits        64
 typedef seL4_Uint64 seL4_Word;
-

libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/simple_types.h

@@ -3,7 +3,9 @@
  *
  * SPDX-License-Identifier: BSD-2-Clause
  */
+
 #pragma once
+
 typedef signed char seL4_Int8;
 typedef signed short seL4_Int16;
 typedef signed int seL4_Int32;
@@ -13,4 +15,3 @@ typedef unsigned char seL4_Uint8;
 typedef unsigned short seL4_Uint16;
 typedef unsigned int seL4_Uint32;
 typedef unsigned long seL4_Uint64;
-

libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/types.h

@@ -25,4 +25,3 @@ typedef struct seL4_UserContext_ {
               r8, r9, r10, r11, r12, r13, r14, r15;
     seL4_Word fs_base, gs_base;
 } seL4_UserContext;
-

src/plat/allwinnerA20/config.cmake

@@ -14,8 +14,8 @@ if(KernelPlatformAllwinnerA20)
     set(KernelArchArmV7a ON)
     config_set(KernelARMPlatform ARM_PLAT allwinnerA20)
 
-    # MCS is not supported on allwinnerA20.
-    # It requires a timer driver that implements the tickless programming requirements.
+    # MCS is not supported on allwinnerA20. It requires a timer driver that
+    # implements the tickless programming requirements.
     set(KernelPlatformSupportsMCS OFF)
 
     list(APPEND KernelDTSList "tools/dts/allwinnerA20.dts")

src/plat/apq8064/config.cmake

@@ -11,8 +11,8 @@ declare_platform(apq8064 KernelPlatformAPQ8064 PLAT_APQ8064 KernelSel4ArchAarch3
 if(KernelPlatformAPQ8064)
     declare_seL4_arch(aarch32)
 
-    # MCS is not supported on apq8064.
-    # It requires a timer driver that implements the tickless programming requirements.
+    # MCS is not supported on apq8064. It requires a timer driver that
+    # implements the tickless programming requirements.
     set(KernelPlatformSupportsMCS OFF)
 
     set(KernelArmCortexA15 ON)