Norman Feske cb78516bf1 os: add tests to autopilot ...

Since the autopilot has become able to use the depot, futher tests can
be enabled by default.

2018-04-19 12:38:53 +02:00

..

ada.run

sel4: adapt timeouts of run scripts

2017-08-18 10:24:47 +02:00

affinity_subspace.run

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

affinity.run

base-hw: enable SMP support for Zynq-7000 boards

2018-02-09 13:34:19 +01:00

ds_ownership.run

sel4: adapt timeouts of run scripts

2017-08-18 10:24:47 +02:00

fpu.run

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

log.run

Limit max string length in log session for okl4

2017-10-19 13:31:16 +02:00

mp_server.run

sel4: enable smp for x86

2017-08-17 11:04:24 +02:00

new_delete.run

sel4: adapt timeouts of run scripts

2017-08-18 10:24:47 +02:00

platform_drv.inc

os: add tests to autopilot

2018-04-19 12:38:53 +02:00

reconstructible.run

sel4: adapt timeouts of run scripts

2017-08-18 10:24:47 +02:00

rm_fault.run

sel4: enable nx bit handling for ARM

2017-11-01 08:39:49 +01:00

rm_nested.run

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

slab.run

sel4: add Wandboard Quad (iMX6) support

2017-08-17 11:04:21 +02:00

sub_rm.run

Adapt sub_rm test to current Linux 32-bit

2017-11-06 13:57:23 +01:00

synced_interface.run

sel4: adapt timeouts of run scripts

2017-08-18 10:24:47 +02:00

thread.run

sel4: add priority support

2017-08-17 11:04:24 +02:00

util_mmio.run

sel4: adapt timeouts of run scripts

2017-08-18 10:24:47 +02:00