mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 13:47:56 +00:00
sculpt: adapt deploy config to new focus handling
This commit is contained in:
parent
fcae056c84
commit
e77aa70ba2
@ -4,5 +4,6 @@ _/pkg/ipxe_nic_drv
|
||||
_/pkg/chroot
|
||||
_/pkg/nit_focus
|
||||
_/pkg/rom_filter
|
||||
_/pkg/rom_reporter
|
||||
_/pkg/nic_router-nat
|
||||
_/pkg/vbox5-nova-sculpt
|
||||
|
@ -544,9 +544,18 @@ append depot_deploy_config {
|
||||
<service name="Timer"> <parent/> </service>
|
||||
</common_routes>
|
||||
|
||||
<start name="nit_focus" pkg="} [depot_user]/pkg/[current_pkg nit_focus] {">
|
||||
<start name="focus_rom" pkg="} [depot_user]/pkg/[current_pkg rom_filter] {">
|
||||
<config>
|
||||
<output node="focus">
|
||||
<attribute name="label" value="runtime -> dynamic -> wm -> wm -> "/>
|
||||
</output>
|
||||
</config>
|
||||
</start>
|
||||
|
||||
<start name="focus_reporter" pkg="} [depot_user]/pkg/[current_pkg rom_reporter] {">
|
||||
<config> <rom label="focus"/> </config>
|
||||
<route>
|
||||
<service name="ROM" label="clicked"> <parent label="clicked"/> </service>
|
||||
<service name="ROM" label="focus"> <child name="focus_rom"/> </service>
|
||||
<service name="Report" label="focus"> <parent label="focus"/> </service>
|
||||
</route>
|
||||
</start>
|
||||
|
Loading…
Reference in New Issue
Block a user