Norman Feske aaea28ae85 Fix build and execution of test/sel4

2015-10-06 12:18:56 +02:00

..

doc

sel4: 3rd article - porting core to seL4

2015-05-26 09:40:02 +02:00

include

base: remove pager code from public API

2015-07-01 14:46:15 +02:00

lib

Fix build and execution of test/sel4

2015-10-06 12:18:56 +02:00

mk/spec

Introduce 'spec' subdirectories to outline aspects

2015-09-16 13:58:50 +02:00

ports

sel4: replace syscalls.patch by macros.patch

2015-05-26 09:39:54 +02:00

run

Fix build and execution of test/sel4

2015-10-06 12:18:56 +02:00

src

Fix build and execution of test/sel4

2015-10-06 12:18:56 +02:00