Norman Feske 691f0eaae7 sel4: link core to different address ... This enables us to debug core and non-core using Qemu's GDB stub.		2015-05-26 09:40:00 +02:00
..
base	sel4: definition of non-core cap-space parameters	2015-05-26 09:39:59 +02:00
core	sel4: link core to different address	2015-05-26 09:40:00 +02:00
kernel	sel4: replace syscalls.patch by macros.patch	2015-05-26 09:39:54 +02:00
test/sel4	sel4: capability lifetime management	2015-05-26 09:39:59 +02:00