Stefan Kalkowski 64bfe233d7 base: make CAP session upgradeable ... * Introduce 'Out_of_metadata' exception for capability allocation Ref #1443		2015-05-26 09:40:02 +02:00
..
base	sel4: initialization of non-main threads	2015-05-26 09:40:01 +02:00
core	base: make CAP session upgradeable	2015-05-26 09:40:02 +02:00
kernel	sel4: replace syscalls.patch by macros.patch	2015-05-26 09:39:54 +02:00
platform	sel4: import parent cap into non-core components	2015-05-26 09:40:01 +02:00
test/sel4	sel4: capability lifetime management	2015-05-26 09:39:59 +02:00