5 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
Martin Stein	d1134644cc	test/synced_interface: move to base ... The test uses only stuff from the base repo. Ref #1987	2017-01-31 12:01:15 +01:00