genode/repos/base-sel4
Norman Feske 7274ca997d Remove Genode::Process from API
This patch makes the former 'Process' class private to the 'Child'
class and changes the constructor of the 'Child' in a way that
principally enables the implementation of single-threaded runtime
environments that virtualize the CPU, PD, and RAM services. The
new interfaces has become free from side effects. I.e., instead
of implicitly using Genode::env()->rm_session(), it takes the reference
to the local region map as argument. Also, the handling of the dynamic
linker via global variables is gone. Now, the linker binary must be
provided as constructor argument.

Fixes #1949
2016-05-09 13:10:52 +02:00
..
doc sel4: 3rd article - porting core to seL4 2015-05-26 09:40:02 +02:00
include Consolidate RM service into PD session 2016-05-09 13:10:51 +02:00
lib Remove Genode::Process from API 2016-05-09 13:10:52 +02:00
mk/spec Introduce 'spec' subdirectories to outline aspects 2015-09-16 13:58:50 +02:00
ports sel4: update to version 2.1 2016-02-26 11:36:55 +01:00
src Assign threads to PD at its creation time 2016-05-09 13:10:52 +02:00