7124449936
This changes the budget/remaining fields in scheduling contexts to contain timer ticks, not number of abstract sel4ticks. seL4_SchedControl_Configure now takes microseconds, not ticks. This commit is plat-independant - the platform and arch specific timer code follows in later commits. |
||
|---|---|---|
| .. | ||
| debug.h | ||
| failures.h | ||
| faults.h | ||
| syscall.h | ||
| types.h | ||