portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include
History
Yanyan Shen b660c2e48c riscv: Add FPU lazy switching code to kernel exits 
lazyFPURestore is call during kernel exits. Then, the FPU is
enabled or disabled accordingly by chaning the SSTATUS
of the current thread. The SSTATUS will be written to the
physical SSTATUS CSR, and thus the FPU accesses will be
enabled or disabled.

Signed-off-by: Yanyan Shen <yanyan.shen@data61.csiro.au>
2020-05-07 13:48:26 +10:00
..
32/mode replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
64/mode replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
api Enabled IPC debug features under new config 2020-04-06 14:21:46 +10:00
arch riscv: Add FPU lazy switching code to kernel exits 2020-05-07 13:48:26 +10:00
benchmark replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
drivers hifive: Expose seL4_IRQControl_GetTrigger API 2020-04-17 17:55:55 +10:00
fastpath replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
kernel introduce isStopped and change isBlocked 2020-05-06 15:49:33 +10:00
machine userError string written to IPC buffer 2020-04-06 12:57:04 +10:00
model replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
object reflect function split in thread_control_flag 2020-04-27 11:44:00 +10:00
plat replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
smp replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
api.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
assert.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
basic_types.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
bootinfo.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
compound_types.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
config.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
linker.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
machine.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
object.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
stdarg.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
stdint.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
string.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
types.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
util.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00