6 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	5e1fb42b54	Fix warnings in ADA example	2017-06-02 15:58:22 +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
Christian Prochaska	58f2088d3e	gcc: update to version 6.3.0 ... Issue #2372	2017-05-31 13:15:49 +02:00