Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-03-27 18:39:55 +00:00
Code Issues Packages Projects Releases Wiki Activity

mcs: enable MCS for riscv

Browse Source 
This allows an MCS kernel to be built on a RISC-V platform.
This commit is contained in:
Curtis Millar
2019-08-22 11:39:45 +10:00
parent ccfd672039
commit 2f00d10f0e
1 changed files with 0 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
configs/seL4Config.cmake
View File

@@ -184,10 +184,6 @@ config_set(KernelArchArmV6 ARCH_ARM_V6 "${KernelArchArmV6}")
config_set(KernelArchArmV7a ARCH_ARM_V7A "${KernelArchArmV7a}")
config_set(KernelArchArmV7ve ARCH_ARM_V7VE "${KernelArchArmV7ve}")
config_set(KernelArchArmV8a ARCH_ARM_V8A "${KernelArchArmV8a}")
if(KernelArchRiscV)
# MCS is not supported on RISC-V yet.
set(KernelPlatformSupportsMCS OFF)
endif()
set(KernelPlatformSupportsMCS "${KernelPlatformSupportsMCS}" CACHE INTERNAL "" FORCE)
# Check for v7ve before v7a as v7ve is a superset and we want to set the