Norman Feske d6e3e47348 sel4: use core_printf for non-core components ... This allows us to see debug messages printed at the eary initialization of init (before init is able to obtain the regular LOG session). This will be reverted as soon as the initialziation of the non-core base environment works.		2015-05-26 09:40:00 +02:00
..
doc	sel4: notes about virtual memory management	2015-05-26 09:39:56 +02:00
include	sel4: bootstrap of init and page-fault handling	2015-05-26 09:40:00 +02:00
lib	sel4: use core_printf for non-core components	2015-05-26 09:40:00 +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: core skeleton	2015-05-26 09:39:57 +02:00
src	sel4: bootstrap of init and page-fault handling	2015-05-26 09:40:00 +02:00