Stefan Kalkowski
64bfe233d7
base: make CAP session upgradeable
...
* Introduce 'Out_of_metadata' exception for capability allocation
Ref #1443
2015-05-26 09:40:02 +02:00
Stefan Kalkowski
73c3a81e0b
base: make PD session upgradeable
...
Ref #1443
2015-05-26 09:40:02 +02:00
Norman Feske
a748dfbc5c
sel4: implementation of Rm_client::unmap
2015-05-26 09:40:01 +02:00
Norman Feske
da2db02ebd
sel4: disable page-fault logging
2015-05-26 09:40:01 +02:00
Norman Feske
84c5437437
sel4: initialization of non-main threads
2015-05-26 09:40:01 +02:00
Norman Feske
1ea22f82fa
sel4: core support for IPC of non-core PDs
...
This patch installs the parent endpoint selector and the PD's CNode into
a PD at its creation time. Furthermore, it initializes the IPC buffer
for the main thread of the new component.
2015-05-26 09:40:00 +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
691f0eaae7
sel4: link core to different address
...
This enables us to debug core and non-core using Qemu's GDB stub.
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
95c3e896dd
sel4: add include/kernel_object.h utilties
2015-05-26 09:39:58 +02:00
Norman Feske
0a32bc845f
sel4: RAM-session supplements
2015-05-26 09:39:58 +02:00
Norman Feske
bf4b260ce1
sel4: unmapping of virtual memory
2015-05-26 09:39:58 +02:00
Norman Feske
8f535d5371
sel4: enter real thread function
2015-05-26 09:39:58 +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