7336303b7f
Where MCP = Maximum Controlled Priority This commit adds: * seL4_TCB_SetMCPriority and changes the arguments to * seL4_TCB_Configure As of this commit, a thread cannot create or set a threads priority (including itself) above its mcp. Previously the kernel did this check against a threads priority, which prevented a thread from setting it's own priority down and then up again. |
||
|---|---|---|
| .. | ||
| bootinfo_types.h | ||
| constants.h | ||
| debug.h | ||
| errors.h | ||
| failures.h | ||
| faults.h | ||
| macros.h | ||
| Makefile | ||
| objecttype.h | ||
| shared_types.h | ||
| syscall.h | ||
| syscall.xml | ||
| syscall.xsd | ||
| types.bf | ||
| types.h | ||