Stefan Kalkowski
28804e2bfb
base: remove cap_integrity test ( fix #1536 )
2015-05-26 09:40:04 +02:00
Emery Hemingway
5fc8ed3e6b
file system servers must not use null tx buffers
...
Fixes #1534
2015-05-26 09:40:04 +02:00
Stefan Kalkowski
e081554731
hw: kernel backed capabilities ( Fix #1443 )
2015-05-26 09:40:04 +02:00
Stefan Kalkowski
4431ab7354
hw_x86_64: fix kernel stack initialization
...
Fix #1533
2015-05-26 09:40:04 +02:00
Christian Prochaska
197be2602f
Check if the required GCC version is used
...
Fixes #1531
2015-05-26 09:40:03 +02:00
Stefan Kalkowski
db5e4f70f1
hw: replace 'placement new' with 'construct_at<>'
...
Placement new can be misleading, as we already overload the new operator
to construct objects via pointers to allocators. To prohibit any problems here,
and to use one consistent approach, we can explicitely construct the object
with the already available 'construct_at' template function.
Ref #1443
2015-05-26 09:40:03 +02:00
Stefan Kalkowski
b8f178e647
hw: move MMU-related functions into Address_space
...
* Introduce a hw specific Address_space interface for protection
domains, which combines all memory-virtualization related functionality
* Introduce a core-specific Platform_pd object that solves all the hen-egg
problems formerly distributed in kernel and core-platform code
Ref #595
Ref #1443
2015-05-26 09:40:03 +02:00
Stefan Kalkowski
d4c55bec2a
hw: implement 'Address_space' interface
...
Ref #595
Ref #1443
2015-05-26 09:40:03 +02:00
Stefan Kalkowski
554146d39c
base: enforce ram_quota donations to be consistent
...
For several basic sessions that core provides default ram quota values
exist in the form of enum values. They are used e.g. by init to deduce
session costs. Unfortunately they were not used when actually establishing
the session, which lead to inconsistencies.
Ref #1443
2015-05-26 09:40:03 +02:00
Stefan Kalkowski
a93266548f
base: remove unused enum from object pool
...
Ref #1443
2015-05-26 09:40:03 +02:00
Stefan Kalkowski
217f62b89d
base: move retry template function to util header
...
Ref #1443
2015-05-26 09:40:03 +02:00
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
Sebastian Sumpf
2d41f13229
base-foc: update commit and hash
2015-05-26 09:40:02 +02:00
Christian Prochaska
a30e29b9c2
ports-foc: remove balloon server
...
Fixes #1514
2015-05-26 09:40:02 +02:00
Christian Prochaska
caa61c268b
seoul: adapt port files to the updated repository
...
Fixes #1526
2015-05-26 09:40:02 +02:00
Norman Feske
da0ee84a7d
sel4: 3rd article - porting core to seL4
2015-05-26 09:40:02 +02:00
Norman Feske
cada11b553
Add sel4_x86_32 to create_builddir tool
2015-05-26 09:40:01 +02:00
Norman Feske
66dd065163
sel4: use LOG console for non-core components
2015-05-26 09:40:01 +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
06d143d51f
sel4: receive-sel handling for early IPC
2015-05-26 09:40:01 +02:00
Norman Feske
3259185bfc
sel4: import parent cap into non-core components
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
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