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 |
Norman Feske
|
acd7a2f1c4
|
sel4: reserve virt page for main-thread IPC buffer
|
2015-05-26 09:40:00 +02:00 |
Norman Feske
|
5a05521e0f
|
sel4: bootstrap of init and page-fault handling
|
2015-05-26 09:40:00 +02:00 |
Norman Feske
|
f19f454ae5
|
sel4: move core to a libaray, add boot_modules.s
|
2015-05-26 09:39:59 +02:00 |
Norman Feske
|
6ffba0e473
|
sel4: IPC implementation
|
2015-05-26 09:39:59 +02:00 |
Norman Feske
|
ff46d02c48
|
sel4: capability lifetime management
|
2015-05-26 09:39:59 +02:00 |
Norman Feske
|
f24b212e47
|
sel4: core-local thread creation
|
2015-05-26 09:39:58 +02:00 |
Norman Feske
|
e6ad346e24
|
sel4: management of core's virtual memory
|
2015-05-26 09:39:57 +02:00 |
Norman Feske
|
1f5cfef64e
|
sel4: switch to core's custom cspace layout
|
2015-05-26 09:39:57 +02:00 |
Norman Feske
|
de8bfb37f9
|
sel4: initialization of core's allocators
|
2015-05-26 09:39:57 +02:00 |
Norman Feske
|
633f335171
|
sel4: core skeleton
|
2015-05-26 09:39:57 +02:00 |