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

FPU: Save and restore FPU state based on TCB flag

Browse Source 
Remove fault-based FPU state saving and loading.

Signed-off-by: Indan Zupancic <indan@nul.nu>
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Indan Zupancic
2024-09-08 21:28:47 +01:00
committed by Gerwin Klein
parent 1415cac443
commit 5035def0b9
13 changed files with 12 additions and 130 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
config.cmake
View File

@@ -240,19 +240,6 @@ config_string(
UNQUOTE
)
config_string(
KernelFPUMaxRestoresSinceSwitch
FPU_MAX_RESTORES_SINCE_SWITCH
"This option is a heuristic to attempt to detect when the FPU is no longer in use,\
allowing the kernel to save the FPU state out so that the FPU does not have to be\
enabled/disabled every thread switch. Every time we restore a thread and there is\
active FPU state, we increment this setting and if it exceeds this threshold we\
switch to the NULL state."
DEFAULT 64
DEPENDS "KernelHaveFPU"
UNDEF_DISABLED UNQUOTE
)
config_option(
KernelVerificationBuild
VERIFICATION_BUILD