portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include/arch
History
Victor Phan 0e62bc3a81 Move vcpu_switch into Arch_switchToThread 
Currently the vcpu_switch function is called in the setVMRoot function
after possible early returns. In order to make sure the vcpu is
always switched, the call is moved into Arch_switchToThread before the
call to setVMRoot.
2020-01-20 14:10:28 +11:00
..
arm Move vcpu_switch into Arch_switchToThread 2020-01-20 14:10:28 +11:00
riscv/arch unify userSize type declarations 2019-12-19 15:50:40 +11:00
x86/arch Revert "Cache FPU enable state on all platforms" 2019-12-19 17:18:35 +11:00