portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include
History
Kent McLeod 9ab910105d mcs: Only charge budgets for non-idle thread SCs 
When calling chargeBudget or commitTime, only consume time within the SC
refills if the SC does not belong to the idle thread. This is to make it
easier to prove that the idle thread is always runable, even if it has
just consumed its SC's current timeslice.

Signed-off-by: Kent McLeod <kent@kry10.com>
2022-01-04 19:00:24 +11:00
..
32/mode replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
64/mode replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
api trivial: remove whitespace 2021-12-27 10:15:37 +11:00
arch unify libsel4 type definitions 2021-12-06 16:48:01 +11:00
benchmark KernelBenchmarksTrackUtilisation: Add more stats 2020-07-15 15:15:27 +10:00
drivers allwinnerA20: switch to the ARM generic timer 2021-10-28 08:30:41 +11:00
fastpath replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
kernel mcs: Only charge budgets for non-idle thread SCs 2022-01-04 19:00:24 +11:00
machine debug: restructure kernel console handling 2021-05-14 13:13:36 +10:00
model mcs: Create ksIdleSC global variable 2022-01-04 19:00:24 +11:00
object Trivial: Remove now incorrect comment 2021-09-10 20:48:04 +10:00
plat pc99: use ackInterrupt() 2021-10-01 15:18:51 +10:00
smp Remove unused doReschedule() 2021-12-02 15:42:13 +11:00
api.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
assert.h trivial: remove superfluous empty lines 2021-09-27 23:09:09 +10:00
basic_types.h unify libsel4 type definitions 2021-12-06 16:48:01 +11:00
bootinfo.h boot: use helper variable to simplify code 2021-09-06 09:22:04 +10:00
compound_types.h trivial: remove superfluous empty lines 2021-09-27 23:09:09 +10:00
config.h libsel4: Fix name for AARCH64_VSPACE_S2_START_L1 2021-09-06 08:08:54 +10:00
hardware.h remove unused define KERNEL_ELF_PADDR_TOP 2021-11-17 11:29:36 +11:00
linker.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
machine.h remove unnecessary brackets 2021-09-27 23:09:09 +10:00
object.h trivial: remove superfluous empty lines 2021-09-27 23:09:09 +10:00
stdarg.h trivial: remove superfluous empty lines 2021-09-27 23:09:09 +10:00
stdint.h print 64-bit integers on 32-bits systems fully 2021-11-26 06:01:11 +01:00
string.h trivial: remove superfluous empty lines 2021-09-27 23:09:09 +10:00
types.h trivial: remove superfluous empty lines 2021-09-27 23:09:09 +10:00
util.h trivial: fix typos and copy/paste fragments 2021-11-28 14:49:55 +11:00