ehmry/genode
ehmry/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
7,153 Commits 8 Branches 38 Tags 41 MiB
a08ff1d1ce
Commit Graph

9 Commits

Author SHA1 Message Date
Alexander Boettcher
66c0c7b6f1 sel4: add x86_64 support 
Issue #2451
 2017-08-17 11:04:20 +02:00
Christian Helmuth
8bd0efced6 Remove obsolete RAM/CAP services from run scripts 
Adapted launchpad and also the rm_fault and resource_request tests.

Issue #2407
 2017-05-31 13:16:22 +02:00
Stefan Kalkowski
0fb672b493 run: use default Qemu memory size for x86 
Fix #2428
 2017-05-31 13:16:19 +02:00
Norman Feske
773e08976d Assign cap quotas in run scripts and recipes 
Issue #2398
 2017-05-31 13:16:06 +02:00
Norman Feske
ccffbb0dfc Build dynamically linked executables by default 
Fixes #2184
 2016-12-14 11:22:27 +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
Josef Söntgen
88f62b0988 autopilot: adapt runscripts to new run tool 
Related to #1372.
 2015-01-26 12:28:41 +01:00
Norman Feske
ca971bbfd8 Move repositories to 'repos/' subdirectory 
This patch changes the top-level directory layout as a preparatory
step for improving the tools for managing 3rd-party source codes.
The rationale is described in the issue referenced below.

Issue #1082
 2014-05-14 16:08:00 +02:00