4 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
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