portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/src
History
Curtis Millar ba5540fa75 mcs: Configure idle SC based on target core 
Every SC in the system must be configured based on the actual core on
which it will run and all time comparisons for that SC must be made
relative to that core.

When creating SCs for the system idle threads those SCs must be
configured for their target cores.

Signed-off-by: Curtis Millar <curtis.millar@data61.csiro.au>
2020-05-04 11:58:42 +10:00
..
api Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
arch riscv: tweak frame remap errors again 2020-04-28 15:00:42 +10:00
benchmark Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
config Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
drivers aarch64,vcpu: Add CNTKCTL_EL1 register to vcpu_t 2020-04-09 15:52:31 +10:00
fastpath fastpath: fix for ARMv6 with gcc8 2020-03-11 09:29:10 +11:00
kernel mcs: Configure idle SC based on target core 2020-05-04 11:58:42 +10:00
machine userError string written to IPC buffer 2020-04-06 12:57:04 +10:00
model Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
object mcs: SC time relative to assigned core 2020-05-04 11:58:42 +10:00
plat trivial: Add missing semicolon to dts file 2020-04-09 16:58:34 +10:00
smp Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
assert.c Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
config.cmake Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
inlines.c Enabled IPC debug features under new config 2020-04-06 14:21:46 +10:00
string.c Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
util.c Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00