mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-25 08:21:08 +00:00
5a1cef6381
This patch unconditionally applies the labeling of sessions and thereby removes the most common use case of 'Child_policy::filter_session_args'. Furthermore, the patch removes an ambiguity of the session labels of sessions created by the parent of behalf of its child, e.g., the PD session created as part of 'Child' now has the label "<child-name>" whereas an unlabeled PD-session request originating from the child has the label "<child-name> -> ". This way, the routing-policy of 'Child_policy::resolve_session_request' can differentiate both cases. As a consequence, the stricter labeling must now be considered wherever a precise label was specified as a key for a session route or a server- side policy selection. The simplest way to adapt those cases is to use a 'label_prefix' instead of the 'label' attribute. Alternatively, the 'label' attribute may used by appending " -> " (note the whitespace). Fixes #2171
84 lines
1.4 KiB
Tcl
84 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="PD"/>
|
|
<service name="RM"/>
|
|
<service name="CPU"/>
|
|
<service name="LOG"/>
|
|
</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_prefix="test-libc_vfs" 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 "test-libc_vfs" exited with exit value 0.*\n} 20
|
|
|
|
puts "\nTest succeeded\n"
|
|
|
|
#
|
|
# Cleanup test-directory structure
|
|
#
|
|
|
|
exec rm -r bin/libc_vfs
|
|
|
|
# vi: set ft=tcl :
|