Add sandbox test to depot autopilot

Issue #4044
This commit is contained in:
Norman Feske 2021-03-09 10:51:49 +01:00
parent d5d3b3c3a4
commit 7e7c10e66c
9 changed files with 31 additions and 34 deletions

View File

@ -708,6 +708,7 @@ set default_test_pkgs {
test-rm_nested
test-rm_stress
test-rom_filter
test-sandbox
test-sanitizer
test-sequence
test-signal

View File

@ -0,0 +1 @@
Test for the sandbox API.

View File

@ -0,0 +1,3 @@
_/src/test-sandbox
_/src/sandbox
_/src/dummy

View File

@ -0,0 +1 @@
2021-02-22 cc4749a3d3510e63bdf5fca9802542967440a2ab

View File

@ -0,0 +1,19 @@
<runtime ram="10M" caps="500" binary="test-sandbox">
<requires> <timer/> </requires>
<events>
<log meaning="succeeded">version="5"</log>
<timeout meaning="failed" sec="10" />
</events>
<content>
<rom label="ld.lib.so"/>
<rom label="sandbox.lib.so"/>
<rom label="test-sandbox"/>
<rom label="dummy"/>
</content>
<config/>
</runtime>

View File

@ -0,0 +1,2 @@
SRC_DIR = src/test/sandbox
include $(GENODE_DIR)/repos/base/recipes/src/content.inc

View File

@ -0,0 +1 @@
2021-02-22 865698ec41736b17083468d64a5af96f24229408

View File

@ -0,0 +1,3 @@
base
os
timer_session

View File

@ -1,34 +0,0 @@
build "core init timer test/sandbox app/dummy"
create_boot_directory
install_config {
<config>
<parent-provides>
<service name="LOG"/>
<service name="PD"/>
<service name="CPU"/>
<service name="ROM"/>
<service name="IRQ"/>
<service name="IO_MEM"/>
<service name="IO_PORT"/>
</parent-provides>
<default-route>
<any-service> <parent/> <any-child/> </any-service>
</default-route>
<default caps="500"/>
<start name="timer">
<resource name="RAM" quantum="1M"/>
<provides> <service name="Timer"/> </provides>
</start>
<start name="test-sandbox">
<resource name="RAM" quantum="10M"/>
</start>
</config>
}
build_boot_image { core ld.lib.so init timer test-sandbox sandbox.lib.so dummy }
append qemu_args " -nographic "
run_genode_until "version=\"5\".*\n" 20