Alexander Boettcher 7ddbc15f98 sel4: synchronize in _clear_ds of core ...

the virtual address allocation and de-allocation. On sel4 the main, entrypoint
and pager_ep may allocate concurrently RAM, e.g. pager_ep for meta data.

Issue #5581

2025-06-23 11:38:33 +02:00

..

doc

sel4: 3rd article - porting core to seL4

2015-05-26 09:40:02 +02:00

etc

base: remove SPEC variables of boards (fix #3971)

2021-01-25 13:58:09 +01:00

include/sel4

sel4: update to 12.1.0 release

2023-05-30 12:13:33 +02:00

lib

core: remove signal_receiver.cc

2025-05-27 08:32:04 +02:00

patches

sel4: enable utilization data on all CPUs

2025-06-06 11:13:58 +02:00

ports

sel4: enable utilization data on all CPUs

2025-06-06 11:13:58 +02:00

recipes/src

depot: update recipe hashes

2025-05-28 08:23:47 +02:00

src

sel4: synchronize in _clear_ds of core

2025-06-23 11:38:33 +02:00