mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-03 09:40:44 +00:00
357dbdd64b
This patch removes the dynamically growing slab allocator from the page-table registry. This has two benefits. First, we alleviate the corner cases where the slab allocator needed to extend its backing store while establishing a core-local memory mapping, thereby triggering a nested core-local mapping. Without this corner case, no reentrant lock is needed any longer. Second, it removes the dependency from the overly large old API of the slab allocator. So we can tighten the slab interface.