seL4/include/model
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
..
preemption.h Release snapshot 2014-07-18 05:03:59 +10:00
smp.h SELFOUR-635: support for TCB operations 2016-10-30 08:59:32 +11:00
statedata.h Remove arch/machine.h include from statedata.h 2016-10-21 12:05:02 +11:00