Norman Feske 8d1cf08b1a core: fix regression in dataspace ownership test ...

This patch revives our ds_ownership test from 2012, which just revealed
a regression in core where the dataspace-free operation of the RAM
service would unconditionally destroy dataspace objects from foreign
sessions. The patch fixes the bug and adds an updated version of the
test to the autopilot.

Fixes #2065

2016-08-29 17:29:33 +02:00

..

affinity_subspace.run

Omit superfluous use of "CAP"/"SIGNAL" services

2016-05-09 13:24:51 +02:00

affinity.run

Omit superfluous use of "CAP"/"SIGNAL" services

2016-05-09 13:24:51 +02:00

ds_ownership.run

core: fix regression in dataspace ownership test

2016-08-29 17:29:33 +02:00

fpu.run

Omit superfluous use of "CAP"/"SIGNAL" services

2016-05-09 13:24:51 +02:00

mp_server.run

sel4: limit mp_server.run to 1 cpu for sel4

2016-08-10 11:07:55 +02:00

new_delete.run

Log name of exiting child from Child::exit()

2014-09-11 10:23:39 +02:00

platform_drv.inc

Increase quota of ACPI driver

2016-08-10 11:07:48 +02:00

printf.run

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00

rm_fault.run

Omit superfluous use of "CAP"/"SIGNAL" services

2016-05-09 13:24:51 +02:00

rm_nested.run

Omit superfluous use of "CAP"/"SIGNAL" services

2016-05-09 13:24:51 +02:00

slab.run

Omit superfluous use of "CAP"/"SIGNAL" services

2016-05-09 13:24:51 +02:00

sub_rm.run

Omit superfluous use of "CAP"/"SIGNAL" services

2016-05-09 13:24:51 +02:00

thread.run

Thread API cleanup

2016-05-23 15:49:55 +02:00

util_mmio.run

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00