portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include/kernel
History
Curtis Millar 1d419f6904 mcs: SC time relative to assigned core 
The starting and ready times for any SC should be relative to the core
on which the SC is running rather than the current core.

Signed-off-by: Curtis Millar <curtis.millar@data61.csiro.au>
2020-05-04 11:58:42 +10:00
..
boot.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
cspace.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
faulthandler.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
sporadic.h mcs: SC time relative to assigned core 2020-05-04 11:58:42 +10:00
stack.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
thread.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
traps.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
vspace.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00