ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-26 00:41:08 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
4,803 Commits 2 Branches 70 Tags 87 MiB
44bcf6bbf0
Commit Graph

3 Commits

Author SHA1 Message Date
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