genode/repos/base-sel4
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
..
doc sel4: 3rd article - porting core to seL4 2015-05-26 09:40:02 +02:00
etc sel4: add Wandboard Quad (iMX6) support 2017-08-17 11:04:21 +02:00
include/sel4 Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
lib sel4: explicit vpath for each file in core 2018-04-19 12:39:20 +02:00
mk/spec Disambiguate kernel-specific file names 2016-12-23 16:51:32 +01:00
patches sel4: update to version 9.0.0 2018-05-03 15:31:21 +02:00
ports Update to seL4 9.0.1 2018-05-03 15:31:21 +02:00
recipes/src/base-sel4 depot: update recipe hashes 2018-04-19 12:39:20 +02:00
src base-sel4: handle PTE selectors exceeded 2018-05-03 15:31:22 +02:00