mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-09 12:41:19 +00:00
52a69b8a6f
In Vm_space::map when allocating a new page-table-entry selector, the allocator may throw an exception that there are no selecztors left which was not caught by now. Now, we catch this exception, flush the mapping cache to free all selectors again and retry to allocate. Fixes #2781