RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

CMake: Add -O0 option for kernel compilation

Browse Source 
-O0 is a valid optimisation level. Results in faster compilation, but
noticably slower kernel execution when running applications such as seL4
test.
This commit is contained in:
Kent McLeod
2019-04-28 19:56:22 +10:00
committed by Kent Mcleod
parent 1c6c06dc3e
commit 452e82bc45
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
config.cmake
View File

@@ -265,6 +265,7 @@ config_choice(
"Select the kernel optimisation level"
"-O2;KerenlOptimisationO2;KERNEL_OPT_LEVEL_O2"
"-Os;KerenlOptimisationOS;KERNEL_OPT_LEVEL_OS"
"-O0;KerenlOptimisationO0;KERNEL_OPT_LEVEL_O0"
"-O1;KerenlOptimisationO1;KERNEL_OPT_LEVEL_O1"
"-O3;KerenlOptimisationO3;KERNEL_OPT_LEVEL_O3"
)