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

sculpt: leitzentrale user-interface redesign

Browse Source 
Issue #3650
This commit is contained in:
Norman Feske
2020-01-26 21:14:40 +01:00
committed by Christian Helmuth
parent 103dcdeea8
commit 1d3ce93107
49 changed files with 3312 additions and 1343 deletions
Download Patch File Download Diff File Expand all files Collapse all files

48
repos/gems/run/leitzentrale.run
View File

@@ -3,6 +3,7 @@ create_boot_directory
import_from_depot [depot_user]/src/[base_src] \
[depot_user]/pkg/[drivers_interactive_pkg] \
[depot_user]/pkg/fonts_fs \
[depot_user]/pkg/backdrop \
[depot_user]/src/dynamic_rom \
[depot_user]/src/report_rom \
[depot_user]/src/fs_rom \
@@ -19,6 +20,7 @@ import_from_depot [depot_user]/src/[base_src] \
[depot_user]/src/libpng \
[depot_user]/src/zlib \
[depot_user]/src/menu_view \
[depot_user]/src/fs_query \
[depot_user]/src/rom_filter \
[depot_user]/src/noux \
[depot_user]/src/terminal \
@@ -33,6 +35,8 @@ import_from_depot [depot_user]/src/[base_src] \
[depot_user]/src/coreutils-minimal \
[depot_user]/src/e2fsprogs-minimal \
[depot_user]/src/gpt_write \
[depot_user]/src/text_area \
[depot_user]/src/sandbox \
[depot_user]/src/window_layouter
install_config {
@@ -82,10 +86,7 @@ install_config {
report="nitpicker -> hover"/>
<policy label="leitzentrale -> manager -> displays"
report="nitpicker -> displays"/>
<policy label="leitzentrale -> manager -> runtime_view_hover"
report="runtime -> runtime_view -> hover"/>
<policy label="runtime -> runtime_view -> dialog"
report="leitzentrale -> manager -> runtime_view_dialog"/>
<policy label="clipboard" report="clipboard"/>
</config>
</start>
@@ -148,8 +149,9 @@ install_config {
<resource name="RAM" quantum="4M"/>
<provides> <service name="File_system"/> </provides>
<config>
<default-policy root="/" writeable="yes"/>
<content> <inline name="log">See the core log for messages.</inline> </content>
<policy label="ro" root="/"/>
<default-policy root="/" writeable="yes"/>
</config>
</start>
@@ -191,12 +193,13 @@ install_config {
<provides> <service name="ROM"/> </provides>
<config>
<rom name="usb_active_config">
<sleep milliseconds="500000" />
<inline description="USB storage present">
<config>
<raw> <policy label_suffix="usb-1-2" class="storage"/> </raw>
</config>
</inline>
<sleep milliseconds="5000" />
<sleep milliseconds="500000" />
<inline description="USB storage absent">
<config/>
</inline>
@@ -219,10 +222,15 @@ install_config {
<provides> <service name="Block"/> </provides>
</start>
<start name="leitzentrale" caps="4000">
<start name="leitzentrale" caps="2300">
<binary name="init"/>
<resource name="RAM" quantum="140M"/>
<provides> <service name="Nitpicker"/> </provides>
<resource name="RAM" quantum="122M"/>
<provides>
<service name="Nitpicker"/>
<service name="File_system"/>
<service name="Report"/>
<service name="ROM"/>
</provides>
<route>
<service name="ROM" label="config">
<child name="leitzentrale_config"/> </service>
@@ -233,9 +241,7 @@ install_config {
<service name="File_system" label="config">
<child name="config_fs" label="rw"/> </service>
<service name="File_system" label="report">
<child name="report_fs" label="rw"/> </service>
<service name="Report" label="manager -> runtime_view_dialog">
<child name="report_rom"/> </service>
<child name="report_fs" label="ro"/> </service>
<service name="Report"> <child name="fs_report"/> </service>
<service name="ROM" label_last="drivers/block_devices">
<parent label="block_devices"/> </service>
@@ -253,8 +259,6 @@ install_config {
<child name="report_rom"/> </service>
<service name="ROM" label="manager -> displays">
<child name="report_rom"/> </service>
<service name="ROM" label="manager -> runtime_view_hover">
<child name="report_rom"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
@@ -267,14 +271,20 @@ install_config {
<child name="config_rom" label="managed/runtime"/> </service>
<service name="ROM" label_prefix="config -> ">
<child name="config_rom"/> </service>
<service name="ROM" label="runtime_view -> dialog">
<child name="report_rom"/> </service>
<service name="Report" label="runtime_view -> hover">
<child name="report_rom"/> </service>
<service name="ROM" label_prefix="leitzentrale ->">
<child name="leitzentrale"/> </service>
<service name="ROM" label="inspect terminal -> clipboard">
<child name="report_rom" label="clipboard"/> </service>
<service name="ROM" label="editor -> clipboard">
<child name="report_rom" label="clipboard"/> </service>
<service name="Report" label="editor -> clipboard">
<child name="report_rom" label="clipboard"/> </service>
<service name="File_system" label="config">
<child name="config_fs" label="rw"/> </service>
<service name="File_system" label="report">
<child name="report_fs" label="ro"/> </service>
<service name="File_system" label="leitzentrale -> fonts">
<child name="leitzentrale" label="fonts"/> </service>
<service name="Block" label_last="ahci-1"> <child name="ahci-1"/> </service>
<service name="Block" label_last="ahci-2"> <child name="ahci-2"/> </service>
<service name="Block"> <child name="drivers"/> </service>
@@ -282,6 +292,8 @@ install_config {
<child name="leitzentrale"/> </service>
<service name="Nitpicker"> <child name="nitpicker"/> </service>
<service name="Timer"> <child name="timer"/> </service>
<service name="Report" label_prefix="leitzentrale ->">
<child name="leitzentrale"/> </service>
<service name="Report"> <child name="fs_report"/> </service>
<service name="Report"> <child name="fs_report"/> </service>
<any-service> <parent/> </any-service>