x86_32
|
sel4: import parent cap into non-core components
|
2015-05-26 09:40:01 +02:00 |
base.mk
|
sel4: use LOG console for non-core components
|
2015-05-26 09:40:01 +02:00 |
core.mk
|
sel4: bootstrap of init and page-fault handling
|
2015-05-26 09:40:00 +02:00 |
syscall.mk
|
sel4: first syscall invokation
|
2015-05-26 09:39:54 +02:00 |