mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-06 11:10:24 +00:00
a9fc5304c0
The pattern "Test succeeded" is relied on by the automated testing framework. We need to use it consistently to avoid false negatives.
86 lines
1.4 KiB
Tcl
86 lines
1.4 KiB
Tcl
#
|
|
# \brief Test for using the libc_vfs plugin with the Linux file system
|
|
# \author Norman Feske
|
|
# \author Christian Helmuth
|
|
# \date 2013-11-07
|
|
#
|
|
|
|
assert_spec linux
|
|
|
|
#
|
|
# Build
|
|
#
|
|
|
|
build { core init server/lx_fs test/libc_vfs }
|
|
|
|
create_boot_directory
|
|
|
|
#
|
|
# Generate config
|
|
#
|
|
|
|
install_config {
|
|
<config>
|
|
<parent-provides>
|
|
<service name="ROM"/>
|
|
<service name="RAM"/>
|
|
<service name="CAP"/>
|
|
<service name="PD"/>
|
|
<service name="RM"/>
|
|
<service name="CPU"/>
|
|
<service name="LOG"/>
|
|
<service name="SIGNAL"/>
|
|
</parent-provides>
|
|
<default-route>
|
|
<any-service> <parent/> <any-child/> </any-service>
|
|
</default-route>
|
|
<start name="lx_fs">
|
|
<resource name="RAM" quantum="4M"/>
|
|
<provides> <service name="File_system"/> </provides>
|
|
<config> <policy label="" root="/libc_vfs" writeable="yes" /> </config>
|
|
</start>
|
|
<start name="test-libc_vfs">
|
|
<resource name="RAM" quantum="2M"/>
|
|
<config>
|
|
<libc stdout="/dev/log">
|
|
<vfs>
|
|
<fs />
|
|
<dir name="dev"> <log/> </dir>
|
|
</vfs>
|
|
</libc>
|
|
</config>
|
|
</start>
|
|
</config>
|
|
}
|
|
|
|
#
|
|
# Create test-directory structure
|
|
#
|
|
|
|
exec mkdir -p bin/libc_vfs
|
|
|
|
#
|
|
# Boot modules
|
|
#
|
|
|
|
build_boot_image {
|
|
core init ld.lib.so libc.lib.so lx_fs test-libc_vfs
|
|
libc_vfs
|
|
}
|
|
|
|
#
|
|
# Execute test case
|
|
#
|
|
|
|
run_genode_until {.*child exited with exit value 0.*} 60
|
|
|
|
puts "\nTest succeeded\n"
|
|
|
|
#
|
|
# Cleanup test-directory structure
|
|
#
|
|
|
|
exec rm -r bin/libc_vfs
|
|
|
|
# vi: set ft=tcl :
|