Norman Feske aaea28ae85 Fix build and execution of test/sel4		2015-10-06 12:18:56 +02:00
..
spec/x86_32	Introduce 'spec' subdirectories to outline aspects	2015-09-16 13:58:50 +02:00
base-common.inc	sel4: bootstrap of init and page-fault handling	2015-05-26 09:40:00 +02:00
base.mk	Fix build and execution of test/sel4	2015-10-06 12:18:56 +02:00
core_printf.mk	sel4: move core console to core_printf library	2015-05-26 09:39:56 +02:00
core.mk	core: unify and simplify paging code (Fix #1641)	2015-08-21 10:58:59 +02:00
syscall.mk	sel4: first syscall invokation	2015-05-26 09:39:54 +02:00