Norman Feske aaea28ae85 Fix build and execution of test/sel4

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

..

base

base: redesign object pool using lambda interface

2015-09-09 15:14:28 +02:00

core

safeguard the synchronized allocator template

2015-09-30 12:20:39 +02:00

kernel

sel4: replace syscalls.patch by macros.patch

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

lib/startup

Introduce 'spec' subdirectories to outline aspects

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

test/sel4

Fix build and execution of test/sel4

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