Norman Feske 885e9333ac sel4: don't use base-common.mk in test roottask ... To build core and other Genode components, we will need to extend the base-common.mk library with additions that conflict with the minimalistic root-task environment of test/sel4. To preserve the minimalistic root task, we need to decouple it from the base-common library.		2015-05-26 09:39:56 +02:00
..
doc	sel4: notes about virtual memory management	2015-05-26 09:39:56 +02:00
include	sel4: thread creation	2015-05-26 09:39:54 +02:00
lib	sel4: move core console to core_printf library	2015-05-26 09:39:56 +02:00
mk	sel4: first syscall invokation	2015-05-26 09:39:54 +02:00
ports	sel4: replace syscalls.patch by macros.patch	2015-05-26 09:39:54 +02:00
run	sel4: minimalistic roottask	2015-05-26 09:39:54 +02:00
src	sel4: don't use base-common.mk in test roottask	2015-05-26 09:39:56 +02:00