Norman Feske cada11b553 Add sel4_x86_32 to create_builddir tool		2015-05-26 09:40:01 +02:00
..
spec-sel4_x86_32.mk	Add sel4_x86_32 to create_builddir tool	2015-05-26 09:40:01 +02:00
spec-sel4.mk	sel4: first syscall invokation	2015-05-26 09:39:54 +02:00