ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Ajdust run scenarios for strict policy matching 

Issue #1901
This commit is contained in:
Emery Hemingway 2016-03-09 15:32:23 +01:00 committed by Christian Helmuth
parent 877676c29f
commit 51e8f05fb6
30 changed files with 93 additions and 92 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/dde_rump/run/rump_cgd_ext2.run
View File

@ -91,7 +91,7 @@ append config {
<resource name="RAM" quantum="16M"/>
<provides><service name="File_system"/></provides>
<config fs="ext2fs">
<policy root="/" writeable="yes"/>
<default-policy root="/" writeable="yes"/>
</config>
<route>
<service name="Block"> <child name="rump_cgd"/> </service>

2
repos/dde_rump/run/rump_fat.run
View File

@ -60,7 +60,7 @@ append config {
<start name="rump_fs">
<resource name="RAM" quantum="8M" />
<provides><service name="File_system"/></provides>
<config fs="msdos"><policy root="/" writeable="yes"/></config>
<config fs="msdos"><default-policy root="/" writeable="yes"/></config>
</start>
<start name="test-libc_vfs">
<resource name="RAM" quantum="4M"/>

9
repos/gems/run/cpu_load_display.run
View File

@ -10,6 +10,7 @@ set build_components {
drivers/timer
server/nitpicker
server/dynamic_rom
server/report_rom
drivers/framebuffer drivers/input
app/trace_subject_reporter
app/cpu_load_display
@ -108,7 +109,7 @@ append config {
<domain name="default" layer="2" label="no" content="client" hover="always" />
<policy label="pointer" domain="pointer"/>
<policy domain="default"/>
<default-policy domain="default"/>
</config>
</start>
@ -127,10 +128,8 @@ append config {
<service name="ROM"/>
</provides>
<config>
<rom>
<policy label="cpu_load_display -> trace_subjects"
report="trace_subject_reporter -> trace_subjects"/>
</rom>
<policy label="cpu_load_display -> trace_subjects"
report="trace_subject_reporter -> trace_subjects"/>
</config>
</start>

2
repos/gems/run/decorator.run
View File

@ -60,7 +60,7 @@ append config {
<config>
<report pointer="yes" />
<domain name="default" layer="2" content="client" label="no"/>
<policy domain="default"/>
<default-policy domain="default"/>
</config>
</start>
<start name="dynamic_rom">

2
repos/gems/run/decorator_stress.run
View File

@ -101,7 +101,7 @@ append config {
<provides><service name="Nitpicker"/></provides>
<config>
<domain name="" layer="2" content="client" label="no" />
<policy domain=""/>
<default-policy domain=""/>
<report pointer="yes" />
</config>
<route>

4
repos/gems/run/launcher.run
View File

@ -84,7 +84,7 @@ append config {
<policy label_prefix="wm -> launcher -> menu" domain="panel"/>
<policy label="wm -> decorator" domain="decorator"/>
<policy label="status_bar" domain="panel"/>
<policy domain="default"/>
<default-policy domain="default"/>
<global-key name="KEY_SCROLLLOCK" label="xray_trigger" />
<global-key name="KEY_F1" label="xray_trigger" />
@ -212,7 +212,7 @@ append config {
<has_value input="xray_enabled" value="yes" />
<then>
<inline>
<policy color="#ff0000" gradient="75" />
<default-policy color="#ff0000" gradient="75" />
</inline>
</then>
</if>

2
repos/gems/run/menu_view.run
View File

@ -54,7 +54,7 @@ append config {
<domain name="default" layer="3" content="client" label="no" hover="always" />
<policy label="pointer" domain="pointer"/>
<policy domain="default"/>
<default-policy domain="default"/>
</config>
</start>
<start name="pointer">

2
repos/gems/run/mixer_gui_qt_test.run
View File

@ -97,7 +97,7 @@ append config {
<domain name="default" layer="2" content="client" label="no" hover="always" focus="click"/>
<policy label="pointer" domain="pointer"/>
<policy domain="default"/>
<default-policy domain="default"/>
<background color="#000000" />
</config>

2
repos/gems/run/nano3d.run
View File

@ -62,7 +62,7 @@ append config {
<domain name="nano3d" layer="1" content="client" label="no" origin="pointer"/>
<policy label="nano3d" domain="nano3d"/>
<policy domain="default"/>
<default-policy domain="default"/>
</config>
</start>

2
repos/gems/run/nit_fader.run
View File

@ -53,7 +53,7 @@ append config {
<domain name="default" layer="3" content="client" label="no" focus="click" hover="always" />
<policy label="pointer" domain="pointer"/>
<policy domain="default"/>
<default-policy domain="default"/>
</config>
</start>
<start name="pointer">

2
repos/gems/run/terminal_log.run
View File

@ -86,7 +86,7 @@ append config {
<domain name="pointer" layer="1" content="client" label="no" origin="pointer" />
<domain name="default" layer="2" content="client" label="no" focus="click" hover="always" />
<policy label="pointer" domain="pointer"/>
<policy domain="default"/>
<default-policy domain="default"/>
</config>
<route>
<service name="Input"> <child name="input_drv"/> </service>

4
repos/gems/run/wm.run
View File

@ -105,7 +105,7 @@ append config {
<domain name="default" layer="2" content="client" label="no" hover="always" focus="click" />
<policy label="pointer" domain="pointer"/>
<policy domain="default"/>
<default-policy domain="default"/>
</config>
</start>
<start name="pointer">
@ -179,7 +179,7 @@ append config {
<launcher name="nitpicker" ram_quota="1M" >
<config>
<domain name="default" layer="2" />
<policy domain="default"/>
<default-policy domain="default"/>
</config>
</launcher>
<launcher name="testnit" ram_quota="768K" />

2
repos/libports/run/eglgears.run
View File

@ -68,7 +68,7 @@ append config {
<domain name="pointer" layer="1" content="client" label="no" origin="pointer" />
<domain name="default" layer="2" content="client" focus="click" hover="always" />
<policy label="pointer" domain="pointer"/>
<policy domain="default"/>
<default-policy domain="default"/>
</config>
<route><any-service><parent/><any-child/></any-service></route>
</start>

2
repos/libports/run/libc_ffat_fs.run
View File

@ -58,7 +58,7 @@ set config {
<start name="ffat_fs">
<resource name="RAM" quantum="4M"/>
<provides> <service name="File_system"/> </provides>
<config> <policy root="/" writeable="yes" /> </config>
<config> <default-policy root="/" writeable="yes" /> </config>
</start>
<start name="test-libc_vfs">
<resource name="RAM" quantum="2M"/>

4
repos/libports/run/libc_fs_tar_fs.run
View File

@ -45,8 +45,8 @@ set config {
<resource name="RAM" quantum="4M"/>
<provides> <service name="File_system"/> </provides>
<config>
<archive name="libc_fs_tar_fs.tar" />
<policy root="/testdir" />
<archive name="libc_fs_tar_fs.tar"/>
<default-policy root="/testdir"/>
</config>
</start>
<start name="test-libc_fs_tar_fs">

2
repos/libports/run/libc_vfs.run
View File

@ -32,7 +32,7 @@ set config {
<start name="ram_fs">
<resource name="RAM" quantum="12M"/>
<provides> <service name="File_system"/> </provides>
<config> <policy root="/" writeable="yes" /> </config>
<config> <default-policy root="/" writeable="yes"/> </config>
</start>
<start name="test-libc_vfs">
<resource name="RAM" quantum="2M"/>

2
repos/libports/run/libc_vfs_fs.run
View File

@ -34,7 +34,7 @@ set config {
<provides> <service name="File_system"/> </provides>
<config>
<vfs> <ram/> </vfs>
<policy root="/" writeable="yes" />
<default-policy root="/" writeable="yes"/>
</config>
</start>
<start name="test-libc_vfs">

2
repos/libports/run/qt5_common.inc
View File

@ -77,7 +77,7 @@ proc qt5_start_nodes { feature_arg } {
<domain name="default" layer="2" label="no" content="client" focus="click" hover="always" />
<policy label="pointer" domain="pointer"/>
<policy domain="default"/>
<default-policy domain="default"/>
</config>
</start>

4
repos/os/run/demo.run
View File

@ -153,7 +153,7 @@ append config {
<policy label="pointer" domain="pointer"/>
<policy label="status_bar" domain="panel"/>
<policy label_prefix="scout -> launchpad" domain="launchpad"/>
<policy domain=""/>
<default-policy domain=""/>
<global-key name="KEY_SCROLLLOCK" label="xray_trigger" />
<global-key name="KEY_F1" label="xray_trigger" />
@ -231,7 +231,7 @@ puts $launchpad_config_fd {<config>
<launcher name="nitpicker" ram_quota="1M">
<config>
<domain name="" layer="3" conten="client" label="no" focus="click"/>
<policy domain="" />
<default-policy domain="" />
</config>
</launcher>
</config>}

2
repos/os/run/loader.run
View File

@ -70,7 +70,7 @@ append config {
<resource name="RAM" quantum="1M"/>
<provides><service name="Nitpicker"/></provides>
<config>
<domain name="" layer="2" /> <policy domain=""/>
<domain name="" layer="2" /> <default-policy domain=""/>
</config>
</start>
<start name="loader">

18
repos/os/run/usb_block.run
View File

@ -62,7 +62,7 @@ append config {
<resource name="RAM" quantum="1M"/>
<provides> <service name="Report"/> <service name="ROM"/> </provides>
<config verbose="yes">
<policy report="usb_drv -> devices"/>
<default-policy report="usb_drv -> devices"/>
</config>
</start>
<start name="usb_drv">
@ -73,21 +73,23 @@ append config {
<report devices="no"/>}
append_if [expr !$use_qemu] config {
<!--
The order is important because the first policy always matches.
The order is important because only the first policy is
picked up - an entry may be moved to the front to test the
corresponding device.
-->
<!-- zte open c needs interface="3" -->
<policy vendor="0x19d2" product="0x1350"/>
<default-policy vendor="0x19d2" product="0x1350"/>
<!-- kingston -->
<policy vendor="0x0951" product="0x1666"/>
<default-policy vendor="0x0951" product="0x1666"/>
<!-- voyager gt stick -->
<policy vendor="0x1b1c" product="0x1a09"/>
<default-policy vendor="0x1b1c" product="0x1a09"/>
<!-- usb3 hdd adapter -->
<policy vendor="0x174c" product="0x5106"/>
<default-policy vendor="0x174c" product="0x5106"/>
<!-- lenovo disc -->
<policy vendor="0x0984" product="0x0066"/>
<default-policy vendor="0x0984" product="0x0066"/>
}
append_if $use_qemu config {
<policy bus="0x001" dev="0x002"/> }
<default-policy bus="0x001" dev="0x002"/> }
append config {
</raw>
</config>

4
repos/os/run/vfs_stress_fs.run
View File

@ -10,7 +10,7 @@ create_boot_directory
install_config {
<config>
<affinity-space width="3" height="2" />
<affinity-space width="3" height="2"/>
<parent-provides>
<service name="CPU"/>
<service name="IO_PORT"/>
@ -36,7 +36,7 @@ install_config {
<resource name="RAM" quantum="1G"/>
<provides><service name="File_system"/></provides>
<config>
<policy root="/" writeable="yes"/>
<default-policy root="/" writeable="yes"/>
</config>
</start>
</config>

2
repos/ports/run/debug_nitpicker.run
View File

@ -72,7 +72,7 @@ set config {
<domain name="pointer" layer="1" xray="no" origin="pointer" />
<domain name="default" layer="3" />
<policy label="pointer" domain="pointer"/>
<policy domain="default"/>
<default-policy domain="default"/>
</config>
</target>
<preserve name="RAM" quantum="2M"/>

2
repos/ports/run/noux_terminal_fs.run
View File

@ -91,7 +91,7 @@ append config {
<domain name="pointer" layer="1" content="client" label="no" origin="pointer" />
<domain name="default" layer="2" content="client" focus="click" />
<policy label="pointer" domain="pointer"/>
<policy domain="default"/>
<default-policy domain="default"/>
</config>
<route> }
append_if [have_spec ps2] config {

2
repos/ports/run/noux_two_terminal_fs.run
View File

@ -91,7 +91,7 @@ append config {
<domain name="pointer" layer="1" content="client" label="no" origin="pointer" />
<domain name="default" layer="2" content="client" focus="click" />
<policy label="pointer" domain="pointer"/>
<policy domain="default"/>
<default-policy domain="default"/>
</config>
<route> }
append_if [have_spec ps2] config {

2
repos/ports/run/seoul.inc
View File

@ -294,7 +294,7 @@ append_if $use_fancy_stuff config {
hover="always" ypos="18" height="-18" />
<policy label="pointer" domain="pointer"/>
<policy label="status_bar" domain="panel"/>
<policy domain=""/>
<default-policy domain=""/>
</config>
<route>
<service name="Timer"> <child name="timer"/></service>

52
repos/ports/run/vbox_auto_win7_share.run
View File

@ -127,8 +127,8 @@ set config_of_app {
<resource name="RAM" quantum="4M"/>
<provides> <service name="Nic"/> </provides>
<route>
<service name="IRQ"><child name="acpi" /></service>
<any-service> <parent /> <any-child /></any-service>
<service name="IRQ"><child name="acpi"/></service>
<any-service> <parent/> <any-child/></any-service>
</route>
</start>
@ -141,68 +141,68 @@ set config_of_app {
</start>
<start name="noux" priority="-1">
<resource name="RAM" quantum="32M" />
<resource name="RAM" quantum="32M"/>
<config>
<fstab>
<tar name="coreutils.tar" />
<tar name="bash.tar" />
<tar name="coreutils.tar"/>
<tar name="bash.tar"/>
<dir name="from"> <fs label="share_from" /> </dir>
<dir name="to"> <fs label="share_to" /> </dir>
<dir name="from"> <fs label="share_from"/> </dir>
<dir name="to"> <fs label="share_to"/> </dir>
</fstab>
<start name="/bin/bash">
<env name="TERM" value="linux" />
<env name="TERM" value="linux"/>
</start>
</config>
<route>
<service name="File_system">
<if-arg key="label" value="share_from" />
<if-arg key="label" value="share_from"/>
<child name="ram_fs_from"/>
</service>
<service name="File_system">
<if-arg key="label" value="share_to" />
<if-arg key="label" value="share_to"/>
<child name="ram_fs_to"/>
</service>
<any-service> <parent/> <any-child /> </any-service>
<any-service> <parent/> <any-child/> </any-service>
</route>
</start>
<start name="ram_fs_from" priority="-1">
<binary name="ram_fs" />
<binary name="ram_fs"/>
<resource name="RAM" quantum="64M"/>
<provides><service name="File_system"/></provides>
<config>
<content>
<rom name="test.bin" />
<rom name="template.bat" />
<rom name="test.bin"/>
<rom name="template.bat"/>
</content>
<policy root="/" writeable="no" />
<default-policy root="/" writeable="no"/>
</config>
</start>
<start name="ram_fs_to" priority="-1">
<binary name="ram_fs" />
<binary name="ram_fs"/>
<resource name="RAM" quantum="64M"/>
<provides><service name="File_system"/></provides>
<config>
<policy root="/" writeable="yes" />
<default-policy root="/" writeable="yes"/>
</config>
</start>
<start name="report_rom">
<resource name="RAM" quantum="1M"/>
<provides> <service name="Report"/> <service name="ROM"/> </provides>
<config> <rom /> </config>
<config> <rom/> </config>
</start>
<start name="vbox" priority="-2">
<binary name="virtualbox" />
<binary name="virtualbox"/>
<resource name="RAM" quantum="1280M"/>
<config vbox_file="vm_auto_share.vbox" vm_name="AutoDisk">
<libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc">
<vfs>
<dir name="dev"> <log/> <rtc/> </dir>
<rom name="vm_auto_share.vbox" />}
<rom name="vm_auto_share.vbox"/>}
append_if [expr $use_ram_fs] config_of_app {
<dir name="ram"> <fs label="from_ram_fs"/> </dir>}
@ -210,30 +210,30 @@ append_if [expr $use_ram_fs] config_of_app {
append config_of_app {
<dir name="from"> <fs label="share_ram_fs_from"/> </dir>
<dir name="to"> <fs label="share_ram_fs_to"/> </dir>
<fs />
<fs/>
</vfs>
</libc>
</config>
<route>
<service name="Report"> <child name="report_rom" /> </service>}
<service name="Report"> <child name="report_rom"/> </service>}
append_if [expr $use_ram_fs] config_of_app {
<service name="File_system">
<if-arg key="label" value="from_ram_fs" />
<if-arg key="label" value="from_ram_fs"/>
<child name="ram_fs"/>
</service>}
append config_of_app {
<service name="File_system">
<if-arg key="label" value="share_ram_fs_from" />
<if-arg key="label" value="share_ram_fs_from"/>
<child name="ram_fs_from"/>
</service>
<service name="File_system">
<if-arg key="label" value="share_ram_fs_to" />
<if-arg key="label" value="share_ram_fs_to"/>
<child name="ram_fs_to"/>
</service>
<service name="File_system"> <child name="rump_fs"/> </service>
<any-service> <parent/> <any-child /> </any-service>
<any-service> <parent/> <any-child/> </any-service>
</route>
</start>
}

4
repos/ports/run/vbox_pointer.run
View File

@ -93,7 +93,7 @@ set config {
<policy label="pointer" domain="pointer"/>
<policy label="test-domain-smiley" domain="smiley"/>
<policy domain="default"/>
<default-policy domain="default"/>
<background color="#00426f"/> <!-- indigo -->
</config>
@ -189,7 +189,7 @@ set config {
<binary name="vbox_pointer"/>
<resource name="RAM" quantum="1M"/>
<config>
<policy domain="smiley" rom="smiley"/>
<default-policy domain="smiley" rom="smiley"/>
<policy label="test-label-arrow" rom="arrow"/>
<policy label="test-label-blade" rom="blade"/>
<policy label="test-label-bladex" rom="bladex"/>

2
repos/ports/run/vbox_win.inc
View File

@ -120,7 +120,7 @@ append config_of_app {
<policy label="vbox_pointer" domain="pointer"/>
<policy label="nit_fb" domain="vbox"/>
<policy domain=""/>
<default-policy domain=""/>
</config>
</start>

42
repos/ports/run/virtualbox_auto.inc
View File

@ -52,19 +52,19 @@ set config {
<provides><service name="Timer"/></provides>
</start>
<start name="ahci_drv" priority="-1">
<resource name="RAM" quantum="10M" />
<provides><service name="Block" /></provides>
<resource name="RAM" quantum="10M"/>
<provides><service name="Block"/></provides>
<config>
<policy label="part_blk" device="0" />
<policy label="part_blk" device="0"/>
</config>
<route>
<service name="IRQ"><child name="acpi_drv" /></service>
<any-service> <parent /> <any-child /></any-service>
<service name="IRQ"><child name="acpi_drv"/></service>
<any-service> <parent/> <any-child/></any-service>
</route>
</start>
<start name="part_blk" priority="-1">
<resource name="RAM" quantum="10M" />
<provides><service name="Block" /></provides>
<resource name="RAM" quantum="10M"/>
<provides><service name="Block"/></provides>
<route>
<any-service><child name="ahci_drv"/> <parent/><any-child/></any-service>
</route>
@ -73,9 +73,9 @@ set config {
</config>
</start>
<start name="rump_fs" priority="-1">
<resource name="RAM" quantum="32M" />
<resource name="RAM" quantum="32M"/>
<provides><service name="File_system"/></provides>
<config fs="ext2fs"><policy root="/" writeable="yes"/></config>
<config fs="ext2fs"> <default-policy root="/" writeable="yes"/> </config>
<route>
<any-service><child name="part_blk"/> <parent/><any-child/></any-service>
</route>
@ -83,7 +83,7 @@ set config {
append_if [expr $use_ram_fs] config {
<start name="ram_fs" priority="-1">
<resource name="RAM" quantum="512M" />
<resource name="RAM" quantum="512M"/>
<provides><service name="File_system"/></provides>
<config>
<content>
@ -93,7 +93,7 @@ append_if [expr $use_ram_fs] config {
</dir>
</content>
<!-- constrain sessions according to their labels -->
<policy label="vbox -> from_ram_fs" root="/ram" writeable="yes" />
<policy label="vbox -> from_ram_fs" root="/ram" writeable="yes"/>
</config>
</start>}
@ -104,8 +104,8 @@ append_if [expr $use_ps2] config {
<resource name="RAM" quantum="1M"/>
<provides><service name="Input"/></provides>
<route>
<service name="IRQ"><child name="acpi_drv" /></service>
<any-service> <parent /> <any-child /></any-service>
<service name="IRQ"><child name="acpi_drv"/></service>
<any-service> <parent/> <any-child/></any-service>
</route>
</start>}
@ -150,7 +150,7 @@ append_if [expr $use_usb] config {
</config>
</inline>
</content>
<policy label_prefix="usb_report_filter" root="/" writeable="yes" />
<policy label_prefix="usb_report_filter" root="/" writeable="yes"/>
<policy label_prefix="usb_config_rom" root="/"/>
</config>
</start>
@ -169,7 +169,7 @@ append_if [expr $use_usb] config {
<resource name="RAM" quantum="1200K"/>
<configfile name="usb_report_filter.config"/>
<route>
<service name="Report"><child name="report_rom" /></service>
<service name="Report"><child name="report_rom"/></service>
<service name="ROM" label="usb_report_filter.config">
<child name="usb_config_rom"/>
</service>
@ -182,7 +182,7 @@ append_if [expr $use_usb] config {
<service name="File_system" label="usb_drv.config">
<child name="usb_config_fs"/>
</service>
<any-service><parent/><any-child /></any-service>
<any-service><parent/><any-child/></any-service>
</route>
</start>
@ -190,14 +190,14 @@ append_if [expr $use_usb] config {
<resource name="RAM" quantum="16M"/>
<provides>
<service name="Input"/>
<service name="Usb" />
<service name="Usb"/>
</provides>
<configfile name="usb_drv.config"/>
<route>
<service name="IRQ"><child name="acpi_drv" /></service>
<service name="Report"><child name="report_rom" /></service>
<service name="IRQ"><child name="acpi_drv"/></service>
<service name="Report"><child name="report_rom"/></service>
<service name="ROM" label="usb_drv.config"><child name="usb_config_rom"/></service>
<any-service><parent /><any-child /></any-service>
<any-service><parent/><any-child/></any-service>
</route>
</start>
}
@ -206,7 +206,7 @@ append_if [have_spec framebuffer] config {
<start name="fb_drv" priority="-1">
<resource name="RAM" quantum="6M"/>
<provides><service name="Framebuffer"/></provides>
<config buffered="yes" />
<config buffered="yes"/>
</start>}
append_if [have_spec x86] config {