seL4/include/kernel
amrzar 25bb94372f SELFOUR-635: support for TCB operations
This will update TCB invocations to consider multicore environment, this may include:
- adds the affinity invocation to transfer TCB between different cores and update TCB structure for core ID
- checking the thread/core state before performing TCB operation, e.g. deleting the runnable TCB, etc
2016-10-30 08:59:32 +11:00
..
boot.h SELFOUR-421 Introduce explicit device frames and untypeds 2016-09-23 14:15:08 +10:00
cspace.h unsigned int -> word_t 2015-12-10 10:45:21 +11:00
faulthandler.h Release snapshot 2014-07-18 05:03:59 +10:00
thread.h SELFOUR-276: Add MCP field to threads. 2016-10-05 11:11:19 +11:00
traps.h SELFOUR-635: support for TCB operations 2016-10-30 08:59:32 +11:00
vspace.h SELFOUR-518: User-level log buffer 2016-08-15 15:06:38 +10:00