Norman Feske
38db52e7f5
sel4: non-core capability-space implementation
2015-05-26 09:40:00 +02:00
Norman Feske
d6e3e47348
sel4: use core_printf for non-core components
...
This allows us to see debug messages printed at the eary initialization
of init (before init is able to obtain the regular LOG session). This
will be reverted as soon as the initialziation of the non-core base
environment works.
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
11b9a0f376
sel4: definition of non-core cap-space parameters
2015-05-26 09:39:59 +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
51f02340b6
sel4: avoid superfluous header re-generation
2015-05-26 09:39:59 +02:00
Norman Feske
56ec0ad172
sel4: add base.mk lib to build and link init
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
595e86ca2e
sel4: assert macro
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
262f52723b
sel4: block on first call if Ipc_istream::_wait
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
41b99a6b51
sel4: use yielding spinlock for 'Genode::Lock'
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
Norman Feske
b8c107ceb2
sel4: let run tool support core and non-core tests
2015-05-26 09:39:57 +02:00
Norman Feske
65a74cf5e0
sel4: complement base-common.mk
...
This patch extends the base-common library with the symbols needed to
link core.
2015-05-26 09:39:57 +02:00
Norman Feske
885e9333ac
sel4: don't use base-common.mk in test roottask
...
To build core and other Genode components, we will need to extend the
base-common.mk library with additions that conflict with the
minimalistic root-task environment of test/sel4. To preserve the
minimalistic root task, we need to decouple it from the base-common
library.
2015-05-26 09:39:56 +02:00
Norman Feske
c73b6e9c0d
sel4: move core console to core_printf library
2015-05-26 09:39:56 +02:00
Norman Feske
e3cb8d48f7
sel4: never compile syscall-using code with -fPIC
2015-05-26 09:39:56 +02:00
Norman Feske
1314bd3b2a
sel4: notes about virtual memory management
2015-05-26 09:39:56 +02:00
Norman Feske
9bf7a240fc
sel4: test the use of memory mappings
2015-05-26 09:39:56 +02:00
Norman Feske
58481fe35d
sel4: use largest untyped range
2015-05-26 09:39:56 +02:00
Norman Feske
37c266327f
sel4: capability overmap test
2015-05-26 09:39:56 +02:00
Norman Feske
418f2ab119
sel4: testing the unwrapping of capabilities
2015-05-26 09:39:55 +02:00
Norman Feske
33c2bc3bf2
sel4: capability delegation test
2015-05-26 09:39:55 +02:00
Norman Feske
03010831cd
sel4: adapt article to new version of run tool
2015-05-26 09:39:55 +02:00
Norman Feske
1fdf36efed
sel4: IPC between two threads
2015-05-26 09:39:55 +02:00
Norman Feske
45b90aa898
sel4: review of the first article
2015-05-26 09:39:55 +02:00
Norman Feske
68671dbc2f
sel4: preemptive scheduling
2015-05-26 09:39:55 +02:00
Norman Feske
40c48c4538
sel4: thread creation
2015-05-26 09:39:54 +02:00
Norman Feske
9bf7568909
sel4: replace syscalls.patch by macros.patch
2015-05-26 09:39:54 +02:00
Norman Feske
52c4dc8ec8
sel4: print boot info
2015-05-26 09:39:54 +02:00
Norman Feske
6b9185ab34
sel4: enable core console
2015-05-26 09:39:54 +02:00
Norman Feske
666c74345f
sel4: add patch for sel4/syscalls.h
2015-05-26 09:39:54 +02:00
Norman Feske
29f58dbd70
sel4: first syscall invokation
2015-05-26 09:39:54 +02:00
Norman Feske
2b24593758
sel4: minimalistic roottask
2015-05-26 09:39:54 +02:00
Norman Feske
456d81f517
New base-sel4 repository
2015-05-26 09:39:53 +02:00
Norman Feske
a96243eebf
News item for third seL4 article
2015-05-26 09:39:53 +02:00
Norman Feske
35a52f0282
base: const qualifiers in base/trace/types.h
...
This patch adds missing const qualifiers to the == operators of
'Subject_id' and 'Policy_id'. Thanks to Pirmin Duss for reporting.
2015-05-26 09:39:53 +02:00
Christian Helmuth
8990346c6c
mmio: fix compiler warnings
...
We implicitly know that the value range will not exceed access_t despite
the integer-based arithmetics, i.e., negation and shift operations.
Fixes #1524
2015-05-26 09:39:53 +02:00
Christian Helmuth
140ecb1238
linux: prevent hybrid-mode compiler warnings
2015-05-26 09:39:53 +02:00
Christian Helmuth
c934ee1650
libc: remove debugging artifact from exit()
2015-05-26 09:39:53 +02:00
