mirror of
https://github.com/genodelabs/genode.git
synced 2025-05-31 14:40:54 +00:00
When a PD gets deleted check whether it is active on the current CPU resp. MMU. If yes, switch to core/kernel's PD to prevent that invalid page-tables or address-space IDs are still in use. Moreover, whenever we switch to an idle thread, we switch to kernel/core's PD too. Thereby, we prevent that vanished PDs are still active on CPUs different from the one, where the core entrypoint is active, which does the PD deletion. This whole scheme is only valid under the assumption that core has only one entrypoint running on one CPU. Fix genodelabs/genode#4527