Norman Feske
8bafb9d41b
Adapt low-level components to new parent interface
...
This patch adjusts the components of the os repository as well as device
drivers to the new parent interface.
Issue #2120
2016-11-25 16:06:42 +01:00
Alexander Boettcher
1b895484d9
sel4: adjust qemu memory in same basic run scripts
...
Core on seL4 is configured to run on native hardware, so some static
allocators are bit over dimensioned. Some run scripts fail on qemu because
solely 64M are available in the system - adjust the affected scripts.
Issue #2044
2016-08-10 11:07:57 +02:00
Norman Feske
3bceefc9cf
Omit superfluous use of "CAP"/"SIGNAL" services
...
The functionality of the former "CAP" and "SIGNAL" services is now
provided by core's "PD" service.
2016-05-09 13:24:51 +02:00
Norman Feske
ed88d3aa13
Rename "failsafe" test to "fault_detection"
...
The name "failsafe" will be used for the upcoming failsafe server
wrapper.
Issue #1592
2015-06-22 14:43:40 +02:00
