portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/src
History
Anna Lyons 2329cd81dc mcs: add seL4_SchedContext_YieldTo 
Implement seL4_SchedContext_YieldTo, which allows users to manipulate
the scheduling queues up to their MCP and can be used for user level
scheduling.
2019-08-22 11:22:38 +10:00
..
api mcs: add seL4_SchedContext_YieldTo 2019-08-22 11:22:38 +10:00
arch mcs: update to build on SMP 2019-08-22 11:22:37 +10:00
benchmark style: set code width to 120 2019-03-19 14:05:44 +11:00
config
drivers kzm: implement MCS timer driver 2019-08-22 11:22:35 +10:00
fastpath mcs: scheduling context donation over ipc 2019-08-22 11:22:37 +10:00
kernel mcs: add seL4_SchedContext_YieldTo 2019-08-22 11:22:38 +10:00
machine mcs: timeout exceptions 2019-08-22 11:22:38 +10:00
model mcs: configurable scheduling context size 2019-08-22 11:22:38 +10:00
object mcs: add seL4_SchedContext_YieldTo 2019-08-22 11:22:38 +10:00
plat mcs: Add error for unsupported Arm platforms 2019-08-22 11:22:35 +10:00
smp [SMP] Abstracted IRQ indexing to handle PPIs 2019-07-19 16:37:03 +10:00
assert.c style: consistently align pointer with name 2019-03-19 14:04:54 +11:00
config.cmake mcs: scheduling context donation over ipc 2019-08-22 11:22:37 +10:00
inlines.c
string.c Expose string functions in all builds 2018-04-18 10:10:14 +10:00
util.c style: consistently attach return type 2019-03-19 14:05:36 +11:00