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

Fix USER_TOP config option being unconditional

Browse source 
Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
This commit is contained in:
Ivan Velickovic 2024-02-29 17:10:53 +11:00 committed by Kent McLeod
parent 3740c2902c
commit 70c7caf2f8
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/plat/qemu-arm-virt/config.cmake
View file

@ -273,5 +273,5 @@ config_string(
KernelUserTop USER_TOP "Set seL4_UserTop constant"
DEFAULT ${qemu_user_top}
UNQUOTE
DEPENDS "KernelPlatformQEMUArmVirt;KernelSel4ArchAarch32"
DEPENDS "KernelPlatformQEMUArmVirt;KernelSel4ArchAarch32" UNDEF_DISABLED
)