seL4/src/machine
Anna Lyons a38e62f2f9 mcs: timeout exceptions
- Add seL4_TCB_SetTimeoutEndpoint
- implement timeout exceptions
2019-08-22 11:22:38 +10:00
..
fpu.c style: consistently attach return type 2019-03-19 14:05:36 +11:00
io.c style: consistently attach return type 2019-03-19 14:05:36 +11:00
profiler.c style: consistently attach return type 2019-03-19 14:05:36 +11:00
registerset.c mcs: timeout exceptions 2019-08-22 11:22:38 +10:00