7 Commits

Author	SHA1	Message	Date
Alexander Boettcher	4020766105	sel4: adapt timeouts of run scripts ... Issue #2451	2017-08-18 10:24:47 +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
Norman Feske	8d1cf08b1a	core: fix regression in dataspace ownership test ... This patch revives our ds_ownership test from 2012, which just revealed a regression in core where the dataspace-free operation of the RAM service would unconditionally destroy dataspace objects from foreign sessions. The patch fixes the bug and adds an updated version of the test to the autopilot. Fixes #2065	2016-08-29 17:29:33 +02: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