10 Commits

Author	SHA1	Message	Date
Christian Helmuth	8d1d57fbdf	Tweak run scripts for sel4 (caps, timeout)	2018-07-03 09:39:32 +02:00
Alexander Boettcher	da5441292a	sel4: add Wandboard Quad (iMX6) support ... Issue #2451	2017-08-17 11:04:21 +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
Alexander Boettcher	1c79ba4182	slab: detect corrupted slab and invalid frees ... and report about that. Fixes #2350	2017-05-02 15:28:54 +02:00
Stefan Kalkowski	aa004cf211	base: transition to new API for tests (ref #1987)	2017-01-13 13:07:07 +01:00
Norman Feske	ccffbb0dfc	Build dynamically linked executables by default ... Fixes #2184	2016-12-14 11:22:27 +01: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
Norman Feske	db5969e6cc	Stress test for the slab allocator ... Issue #1908	2016-04-25 10:47:55 +02:00