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

Export timer frequency to user space

Browse source 
Useful for configuring domains.

Signed-off-by: Indan Zupancic <indan@nul.nu>
This commit is contained in:
Indan Zupancic 2026-01-19 13:00:16 +00:00 committed by Gerwin Klein
parent 235f90f60e
commit f32f2a53d2
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
configs/seL4Config.cmake
View file

@ -199,6 +199,11 @@ config_set(KernelArchArmV7ve ARCH_ARM_V7VE "${KernelArchArmV7ve}")
config_set(KernelArchArmV8a ARCH_ARM_V8A "${KernelArchArmV8a}")
config_set(KernelAArch64SErrorIgnore AARCH64_SERROR_IGNORE "${KernelAArch64SErrorIgnore}")
# Export timer frequency to user space:
if(KernelTimerFrequency)
config_set(KernelTimerFrequency TIMER_FREQUENCY "${CONFIGURE_TIMER_FREQUENCY}")
endif()
# Check for v7ve before v7a as v7ve is a superset and we want to set the
# actual armv to that, but leave armv7a config enabled for anything that
# checks directly against it