Martin Stein 52a69b8a6f base-sel4: handle PTE selectors exceeded ... 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		2018-05-03 15:31:22 +02:00
..
core	base-sel4: handle PTE selectors exceeded	2018-05-03 15:31:22 +02:00
include	AVL node/tree: make non-copyable	2018-02-09 13:34:23 +01:00
kernel/sel4	sel4: add uefi boot support via mbi2	2017-08-28 16:49:47 +02:00
lib	Follow practices suggested by "Effective C++"	2018-01-17 12:14:35 +01:00