ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-23 23:42:32 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sculpt: add rudimentary GUI components

Browse Source 
This patch enhances the default deploy scenario with the themed window
manager, a backdrop, and the (commented-out) nano3d demo.
This commit is contained in:
Norman Feske 2018-04-04 14:50:49 +02:00 committed by Christian Helmuth
parent f9af0e6f0c
commit ecd7ff80b8
2 changed files with 26 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
repos/gems/recipes/pkg/sculpt-installation/archives
View File

@ -7,3 +7,6 @@ _/pkg/rom_filter
_/pkg/rom_reporter
_/pkg/nic_router-nat
_/pkg/vbox5-nova-sculpt
_/pkg/themed_wm
_/pkg/sticks_blue_backdrop
_/pkg/nano3d

26
repos/gems/run/sculpt.run
View File

@ -560,9 +560,21 @@ append depot_deploy_config {
</route>
</start>
<start name="noux" pkg="} [depot_user]/pkg/[current_pkg noux-system] {">
<start name="wm" pkg="} [depot_user]/pkg/[current_pkg themed_wm] {">
<route>
<service name="Nitpicker"> <parent/> </service>
</route>
</start>
<start name="backdrop" pkg="} [depot_user]/pkg/[current_pkg sticks_blue_backdrop] {">
<route>
<service name="Nitpicker"> <parent label="backdrop"/> </service>
</route>
</start>
<start name="noux" pkg="} [depot_user]/pkg/[current_pkg noux-system] {">
<route>
<service name="Nitpicker"> <child name="wm"/> </service>
<service name="File_system" label="config">
<parent label="config"/> </service>
<service name="File_system" label="report">
@ -573,6 +585,14 @@ append depot_deploy_config {
</route>
</start>
<!--
<start name="nano3d" pkg="} [depot_user]/pkg/[current_pkg nano3d] {">
<route>
<service name="Nitpicker"> <child name="wm"/> </service>
</route>
</start>
-->
<!--
<start name="nic_drv" pkg="} [depot_user]/pkg/[current_pkg wifi] {">
<route>
@ -633,8 +653,8 @@ append depot_deploy_config {
<service name="ROM" label="capslock"> <parent label="capslock"/> </service>
<service name="ROM" label="platform_info"> <parent/> </service>
<service name="ROM" label="usb_devices"> <child name="usb_devices_rom"/> </service>
<service name="Report" label="shape"> <parent label="vm -> shape"/> </service>
<service name="Nitpicker"> <parent/> </service>
<service name="Report" label="shape"> <parent label="wm -> wm -> vm -> shape"/> </service>
<service name="Nitpicker"> <child name="wm"/> </service>
<service name="Nic"> <child name="nic_router"/> </service>
<service name="Report"> <parent/> </service>
<service name="RM"> <parent/> </service>