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