seL4/include/kernel
Anna Lyons 483f0ae22f mcs: SchedControlConfigure: charge correct core
Previously this code would incorrectly call chargeBudget twice, where it
was intended to be charging a specific core.
2019-08-22 11:22:39 +10:00
..
boot.h mcs: Add a scheduling context object 2019-08-22 11:22:34 +10:00
cspace.h unsigned int -> word_t 2015-12-10 10:45:21 +11:00
faulthandler.h mcs: timeout exceptions 2019-08-22 11:22:38 +10:00
sporadic.h mcs: allow kernel WCET estimate to be scaled 2019-08-22 11:22:39 +10:00
stack.h Fix trivial comment typos. 2018-03-27 10:51:26 +11:00
thread.h mcs: SchedControlConfigure: charge correct core 2019-08-22 11:22:39 +10:00
traps.h SMP: move lock.h to architecture-independent include/smp 2017-01-16 15:21:50 +11:00
vspace.h SELFOUR-518: User-level log buffer 2016-08-15 15:06:38 +10:00