-
- Downloads
CMake: Set KernelArmPASizeBits* based on Arm CPU
The physical address range supported by each aarch64 platform is defined by which Arm CPUs it has. We therefore configure KernelArmPASizeBits* based on which CPU is selected.
Showing
- configs/seL4Config.cmake 0 additions, 4 deletionsconfigs/seL4Config.cmake
- src/arch/arm/config.cmake 6 additions, 0 deletionssrc/arch/arm/config.cmake
- src/plat/fvp/config.cmake 0 additions, 1 deletionsrc/plat/fvp/config.cmake
- src/plat/imx8m-evk/config.cmake 0 additions, 1 deletionsrc/plat/imx8m-evk/config.cmake
- src/plat/tx1/config.cmake 0 additions, 1 deletionsrc/plat/tx1/config.cmake
- src/plat/tx2/config.cmake 2 additions, 4 deletionssrc/plat/tx2/config.cmake
Loading
Please register or sign in to comment