8 Commits

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