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