portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

trivial: adjust style for cmake-format

Browse source 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
This commit is contained in:
Nick Spinale 2025-11-19 19:06:31 -08:00 committed by Gerwin Klein
parent 1955a9bda1
commit fdf7f2a082
1 changed files with 10 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
src/plat/bcm2711/config.cmake
View file

@ -12,7 +12,10 @@ if(KernelPlatformRpi4)
set(KernelArmCortexA72 ON)
set(KernelArchArmV8a ON)
config_set(KernelARMPlatform ARM_PLAT rpi4)
set(KernelArmMachFeatureModifiers "+crc" CACHE INTERNAL "")
set(KernelArmMachFeatureModifiers
"+crc"
CACHE INTERNAL ""
)
list(APPEND KernelDTSList "tools/dts/rpi4.dts")
list(APPEND KernelDTSList "src/plat/bcm2711/overlay-rpi4.dts")
list(APPEND KernelDTSList "src/plat/bcm2711/overlay-rpi4-address-mapping.dts")
@ -34,9 +37,12 @@ if(KernelPlatformRpi4)
list(APPEND KernelDTSList "src/plat/bcm2711/overlay-rpi4-32bit.dts")
endif()
else()
message(FATAL_ERROR "Unsupported memory size given ${RPI4_MEMORY},
message(
FATAL_ERROR
"Unsupported memory size given ${RPI4_MEMORY},
supported memory sizes (in megabytes) are 1024,
2048, 4096, and 8192.")
2048, 4096, and 8192."
)
endif()
# - The clock frequency is 54 MHz as can be seen in bcm2711.dtsi in the
@ -60,6 +66,5 @@ if(KernelPlatformRpi4)
endif()
add_sources(
DEP "KernelPlatformRpi4"
CFILES src/arch/arm/machine/gic_v2.c src/arch/arm/machine/l2c_nop.c
DEP "KernelPlatformRpi4" CFILES src/arch/arm/machine/gic_v2.c src/arch/arm/machine/l2c_nop.c
)