Adrian-Ken Rueegsegger c2ff0ae9d4 Minor cleanup fixes ... - Fix spelling errors - Remove extra semicolons - Remove extra spaces Fixes #1650		2015-08-21 11:00:59 +02:00
..
base	sel4: initialization of non-main threads	2015-05-26 09:40:01 +02:00
core	Minor cleanup fixes	2015-08-21 11:00:59 +02:00
kernel	sel4: replace syscalls.patch by macros.patch	2015-05-26 09:39:54 +02:00
platform	sel4: import parent cap into non-core components	2015-05-26 09:40:01 +02:00
test/sel4	sel4: capability lifetime management	2015-05-26 09:39:59 +02:00