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

cmake: fix style

Browse source 
Signed-off-by: Julia Vassiliki <julia.vassiliki@unsw.edu.au>
This commit is contained in:
Julia Vassiliki 2025-10-27 13:08:37 +11:00 committed by Gerwin Klein
parent 7f0c2f0c1f
commit 836ee89a0b
2 changed files with 31 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

32
src/plat/imx8m-evk/config.cmake
View file

@ -9,32 +9,50 @@ declare_platform(imx8mq-evk KernelPlatformImx8mq-evk PLAT_IMX8MQ_EVK KernelArchA
declare_platform(imx8mm-evk KernelPlatformImx8mm-evk PLAT_IMX8MM_EVK KernelArchARM)
declare_platform(imx8mp-evk KernelPlatformImx8mp-evk PLAT_IMX8MP_EVK KernelArchARM)
if(KernelPlatformImx8mq-evk OR KernelPlatformImx8mm-evk OR KernelPlatformImx8mp-evk)
if(KernelPlatformImx8mq-evk
OR KernelPlatformImx8mm-evk
OR KernelPlatformImx8mp-evk
)
declare_seL4_arch(aarch64 aarch32)
if(KernelPlatformImx8mq-evk)
config_set(KernelPlatImx8mq PLAT_IMX8MQ ON)
endif()
if(KernelPlatformImx8mp-evk)
# The i.MX 8M Plus SoC has higher interrupt numbers than the 8M Mini and the 8M Quad
set(IMX8M_MAX_IRQ 192 CACHE INTERNAL "")
set(IMX8M_MAX_IRQ
192
CACHE INTERNAL ""
)
else()
set(IMX8M_MAX_IRQ 160 CACHE INTERNAL "")
set(IMX8M_MAX_IRQ
160
CACHE INTERNAL ""
)
endif()
if (KernelPlatformImx8mq-evk)
if(KernelPlatformImx8mq-evk)
# per the DTS, clock-frequency = < 0x7f2815 >;
# also per gpt_cnfrq, which also reports 8333333
set(IMX8M_TIMER_FREQUENCY 8333333 CACHE INTERNAL "")
set(IMX8M_TIMER_FREQUENCY
8333333
CACHE INTERNAL ""
)
else()
# per the DTS, clock-frequency = < 0x7a1200 >;
set(IMX8M_TIMER_FREQUENCY 8000000 CACHE INTERNAL "")
set(IMX8M_TIMER_FREQUENCY
8000000
CACHE INTERNAL ""
)
endif()
set(KernelArmCortexA53 ON)
set(KernelArchArmV8a ON)
set(KernelArmGicV3 ON)
config_set(KernelARMPlatform ARM_PLAT ${KernelPlatform})
set(KernelArmMach "imx" CACHE INTERNAL "")
set(KernelArmMach
"imx"
CACHE INTERNAL ""
)
list(APPEND KernelDTSList "tools/dts/${KernelPlatform}.dts")
list(APPEND KernelDTSList "src/plat/imx8m-evk/overlay-${KernelPlatform}.dts")
if(KernelSel4ArchAarch32)

9
src/plat/maaxboard/config.cmake
View file

@ -15,7 +15,10 @@ if(KernelPlatformMaaxboard)
set(KernelArchArmV8a ON)
set(KernelArmGicV3 ON)
config_set(KernelARMPlatform ARM_PLAT ${KernelPlatform})
set(KernelArmMach "imx" CACHE INTERNAL "")
set(KernelArmMach
"imx"
CACHE INTERNAL ""
)
list(APPEND KernelDTSList "tools/dts/${KernelPlatform}.dts")
list(APPEND KernelDTSList "src/plat/maaxboard/overlay-${KernelPlatform}.dts")
if(KernelSel4ArchAarch32)
@ -34,6 +37,6 @@ if(KernelPlatformMaaxboard)
endif()
add_sources(
DEP "KernelPlatformMaaxboard"
CFILES src/arch/arm/machine/gic_v3.c src/arch/arm/machine/l2c_nop.c
DEP "KernelPlatformMaaxboard" CFILES src/arch/arm/machine/gic_v3.c
src/arch/arm/machine/l2c_nop.c
)