From fdf7f2a0823330615dfb6b3ae6706403217e74ea Mon Sep 17 00:00:00 2001 From: Nick Spinale Date: Wed, 19 Nov 2025 19:06:31 -0800 Subject: [PATCH] trivial: adjust style for cmake-format Signed-off-by: Nick Spinale --- src/plat/bcm2711/config.cmake | 15 ++++++++++----- 1 file changed, 10 insertions(+), 5 deletions(-) diff --git a/src/plat/bcm2711/config.cmake b/src/plat/bcm2711/config.cmake index a7d82e95f..eb442554c 100644 --- a/src/plat/bcm2711/config.cmake +++ b/src/plat/bcm2711/config.cmake @@ -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 )