Anna Lyons 33398f2191 SELFOUR-331: add seL4_TCB_SetSchedParams ... This allows the prio and mcp to be set in one system call.		2018-02-26 11:24:42 +11:00
..
api	x86: Dangerous read/write MSR interface	2018-01-17 16:35:39 +11:00
interfaces	SELFOUR-331: add seL4_TCB_SetSchedParams	2018-02-26 11:24:42 +11:00
sel4	SELFOUR-1016: Require auth cap to set prio/mcp	2018-02-26 11:24:22 +11:00