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

Sculpt system scenario 

Issue #2676
This commit is contained in:
Norman Feske 2017-09-07 11:55:33 +02:00
parent cc8b03ae4f
commit cb9a448fc9
24 changed files with 1750 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
repos/gems/recipes/pkg/sculpt-installation/README Normal file
View File

@ -0,0 +1 @@
Default installation for a sculpt-based desktop

8
repos/gems/recipes/pkg/sculpt-installation/archives Normal file
View File

@ -0,0 +1,8 @@
_/pkg/noux-system
_/pkg/wifi
_/pkg/ipxe_nic_drv
_/pkg/chroot
_/pkg/nit_focus
_/pkg/rom_filter
_/pkg/nic_router-nat
_/pkg/vbox5-nova-sculpt

1
repos/gems/recipes/pkg/sculpt-installation/hash Normal file
View File

@ -0,0 +1 @@
2018-02-08-c 2fed5daa84ce8a6c498f5b81be010bb4d4ef67d1

3
repos/gems/recipes/pkg/sculpt/README Normal file
View File

@ -0,0 +1,3 @@
Collection of depot archives needed for the sculpt scenario

41
repos/gems/recipes/pkg/sculpt/archives Normal file
View File

@ -0,0 +1,41 @@
_/pkg/drivers_managed-pc
_/pkg/wifi
_/pkg/depot_download
_/src/report_rom
_/src/init
_/src/ram_fs
_/src/fs_rom
_/src/fs_report
_/src/nitpicker
_/src/global_keys_handler
_/src/nit_fb
_/src/nit_focus
_/src/nit_fader
_/src/rtc_drv
_/src/top
_/src/trace_subject_reporter
_/src/cpu_load_display
_/src/rom_filter
_/src/terminal
_/src/terminal_log
_/src/file_terminal
_/src/libc
_/src/posix
_/src/ncurses
_/src/noux
_/src/bash-minimal
_/src/vim-minimal
_/src/coreutils-minimal
_/src/vfs
_/src/rump
_/src/ipxe_nic_drv
_/src/chroot
_/src/fetchurl
_/src/curl
_/src/libssh
_/src/zlib
_/src/log_core
_/src/depot_deploy
_/src/part_blk
_/src/nic_router
_/src/e2fsprogs-minimal

1
repos/gems/recipes/pkg/sculpt/hash Normal file
View File

@ -0,0 +1 @@
2018-02-09-a f8795f395a07268fabade07cd84123392a259fac

666
repos/gems/run/sculpt.run Normal file
View File

@ -0,0 +1,666 @@
if {![have_spec x86] || [have_spec linux]} {
puts "Platform is unsupported."
exit 0
}
proc depot_user {} { return [get_cmd_arg --depot-user genodelabs] }
create_boot_directory
import_from_depot genodelabs/src/[base_src] \
genodelabs/pkg/sculpt
proc config_system_content {} { return {\
<!-- set 'state' value to "reset" to reboot the machine -->
<system state=""/>} }
proc config_trace_subject_reporter_content {} { return {\
<config period_ms="2000">
<report activity="yes" affinity="yes"/>
</config>} }
install_config {
<config prio_levels="4"> <!-- set prio_levels to 4 -->
<parent-provides>
<service name="ROM"/>
<service name="IRQ"/>
<service name="IO_MEM"/>
<service name="IO_PORT"/>
<service name="PD"/>
<service name="RM"/>
<service name="CPU"/>
<service name="LOG"/>
<service name="TRACE"/>
</parent-provides>
<default-route>
<any-service> <parent/> <any-child/> </any-service>
</default-route>
<default caps="100"/>
<resource name="RAM" preserve="2M"/>
<start name="timer">
<resource name="RAM" quantum="1M"/>
<provides><service name="Timer"/></provides>
</start>
<start name="top">
<resource name="RAM" quantum="2M"/>
<config period_ms="60000"/>
</start>
<start name="trace_subject_reporter" >
<resource name="RAM" quantum="24M"/>
<route>
<service name="ROM" label="config">
<child name="config_rom" label="trace_subject_reporter.config"/> </service>
<service name="Report"> <child name="report_rom"/> </service>
<any-service> <parent/> <any-child/> </any-service>
</route>
</start>
<start name="report_rom">
<binary name="report_rom"/>
<resource name="RAM" quantum="2M"/>
<provides> <service name="Report"/> <service name="ROM"/> </provides>
<config verbose="no">
<policy label="leitzentrale_config -> leitzentrale"
report="global_keys_handler -> leitzentrale"/>
<policy label="leitzentrale_config -> reset"
report="global_keys_handler -> reset"/>
<policy label="leitzentrale -> trace_subjects"
report="trace_subject_reporter -> trace_subjects"/>
<policy label="pointer -> hover" report="nitpicker -> hover"/>
<policy label="pointer -> xray"
report="global_keys_handler -> leitzentrale"/>
<policy label="pointer -> shape" report="shape"/>
<policy label="drivers -> capslock" report="global_keys_handler -> capslock"/>
<policy label="runtime -> capslock" report="global_keys_handler -> capslock"/>
<policy label="drivers -> numlock" report="global_keys_handler -> numlock"/>
<policy label="runtime -> clicked" report="nitpicker -> clicked"/>
<policy label="nit_focus -> focus" report="runtime -> focus"/>
<policy label="nit_focus -> leitzentrale"
report="global_keys_handler -> leitzentrale"/>
<policy label="nit_focus -> slides"
report="global_keys_handler -> slides"/>
<policy label="slides_nit_fb_config -> slides"
report="global_keys_handler -> slides"/>
</config>
</start>
<start name="report_logger" priority="-3">
<binary name="report_rom"/>
<resource name="RAM" quantum="1M"/>
<provides> <service name="Report"/> <service name="ROM"/> </provides>
<config verbose="yes"/>
</start>
<start name="config_fs" caps="200">
<binary name="ram_fs"/>
<resource name="RAM" quantum="10M"/>
<provides> <service name="File_system"/> </provides>
<config>
<content>
<rom name="fb_drv.config"/>
<rom name="nitpicker.config"/>
<rom name="input_filter.config"/>
<rom name="en_us.chargen"/>
<rom name="de.chargen"/>
<rom name="numlock_remap.config"/>
<rom name="vimrc"/>
<rom name="wlan.config"/>
<rom name="installation"/>
<dir name="leitzentrale">
<rom name="leitzentrale.config" as="config"/>
</dir>
<dir name="examples">
<dir name="vm">
<dir name="debian">
<rom name="machine.vbox"/>
<rom name="machine.vdi"/>
</dir>
</dir>
<dir name="depot">
<dir name="} [depot_user ] {">
<rom name="} [depot_user] {_pubkey" as="pubkey"/>
<rom name="} [depot_user] {_download" as="download"/>
</dir>
</dir>
</dir>
<dir name="drivers">
<rom name="drivers.config" as="config"/>
</dir>
<dir name="runtime">
<rom name="empty_runtime.config" as="config"/>
<rom name="empty_runtime.config" as="empty.config" />
<rom name="block_runtime.config" as="block.config" />
<rom name="load_runtime.config" as="load.config" />
<rom name="fs_runtime.config" as="fs.config" />
<rom name="download_runtime.config" as="download.config" />
<rom name="update_runtime.config" as="update.config" />
<rom name="deploy_runtime.config" as="deploy.config" />
</dir>
<dir name="subinit">
<rom name="default_fs_subinit.config" as="default_fs.config" />
<rom name="default_nic_subinit.config" as="default_nic.config" />
<rom name="default_noux_subinit.config" as="default_noux.config" />
<rom name="depot_download.config"/>
</dir>
<dir name="deploy">
<rom name="deploy.config" as="config"/>
</dir>
<inline name="trace_subject_reporter.config">} [config_trace_subject_reporter_content] {
</inline>
<inline name="system">} [config_system_content] {
</inline>
</content>
<policy label="config_rom -> " root="/" />
<policy label="rw" root="/" writeable="yes" />
</config>
</start>
<start name="config_rom">
<binary name="fs_rom"/>
<resource name="RAM" quantum="10M"/>
<provides> <service name="ROM"/> </provides>
<route>
<service name="File_system"> <child name="config_fs"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
<start name="report_fs">
<binary name="ram_fs"/>
<resource name="RAM" quantum="16M"/>
<provides> <service name="File_system"/> </provides>
<config>
<content>
<inline name="log">### start ###</inline>
</content>
<policy label="fs_report -> " root="/" writeable="yes" />
<policy label="log_terminal -> " root="/" writeable="yes" />
<policy label="ro" root="/" />
</config>
</start>
<start name="log_terminal">
<binary name="file_terminal"/>
<resource name="RAM" quantum="2M"/>
<provides> <service name="Terminal"/> </provides>
<config>
<default-policy filename="log" />
<vfs> <dir name="dev"> <log/> </dir> <fs/> </vfs>
<libc stdout="/dev/log"/>
</config>
<route>
<service name="File_system"> <child name="report_fs"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
<start name="log">
<binary name="terminal_log"/>
<resource name="RAM" quantum="1M"/>
<provides> <service name="LOG"/> </provides>
<config/>
<route>
<service name="Terminal"> <child name="log_terminal"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
<start name="log_core">
<resource name="RAM" quantum="1M"/>
<config period_ms="2000"/>
<route>
<service name="ROM" label="log"> <parent label="core_log"/> </service>
<service name="Timer"> <child name="timer"/> </service>
<service name="LOG" label="log"> <child name="log" label="core"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
<start name="fs_report">
<resource name="RAM" quantum="1M"/>
<provides> <service name="Report"/> </provides>
<config> <vfs> <fs/> </vfs> </config>
<route>
<service name="File_system"> <child name="report_fs"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
<start name="drivers" caps="3000" priority="-1">
<resource name="RAM" quantum="66M" constrain_phys="yes"/>
<binary name="init"/>
<route>
<service name="LOG"> <child name="log"/> </service>
<service name="ROM" label="config">
<child name="config_rom" label="drivers/config"/> </service>
<service name="ROM" label="input_filter.config"> <child name="config_rom"/> </service>
<service name="ROM" label="numlock_remap.config"> <child name="config_rom"/> </service>
<service name="ROM" label_suffix=".chargen"> <child name="config_rom"/> </service>
<service name="ROM" label_suffix=".remap"> <child name="config_rom"/> </service>
<service name="ROM" label="capslock"> <child name="report_rom"/> </service>
<service name="ROM" label="numlock"> <child name="report_rom"/> </service>
<service name="ROM" label="system"> <child name="config_rom"/> </service>
<service name="ROM" label_suffix="fb_drv.config"> <child name="config_rom"/> </service>
<service name="Timer"> <child name="timer"/> </service>
<service name="Report"> <child name="fs_report"/> </service>
<any-service> <parent/> </any-service>
</route>
<provides>
<service name="Input"/>
<service name="Framebuffer"/>
<service name="Block"/>
<service name="Usb"/>
<service name="Platform"/>
</provides>
</start>
<start name="nitpicker" caps="1000">
<resource name="RAM" quantum="6M"/>
<provides><service name="Nitpicker"/></provides>
<route>
<service name="ROM" label="config">
<child name="config_rom" label="nitpicker.config"/> </service>
<service name="ROM" label="focus">
<child name="nit_focus"/> </service>
<service name="Report" label="keystate">
<child name="report_logger"/> </service>
<service name="Report"> <child name="report_rom"/> </service>
<service name="Framebuffer"> <child name="drivers"/> </service>
<service name="Input"> <child name="drivers"/> </service>
<service name="Timer"> <child name="timer"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
<!-- override user focus when leitzentrale is active -->
<start name="nit_focus" priority="-1">
<binary name="rom_filter"/>
<resource name="RAM" quantum="1M"/>
<provides> <service name="ROM"/> </provides>
<config>
<input name="leitzentrale_enabled" rom="leitzentrale" node="leitzentrale">
<attribute name="enabled" /> </input>
<input name="slides_enabled" rom="slides" node="slides">
<attribute name="enabled" /> </input>
<input name="runtime_focus" rom="focus" node="focus">
<attribute name="label"/> </input>
<output node="focus">
<if>
<has_value input="leitzentrale_enabled" value="yes" />
<then>
<attribute name="label" value="leitzentrale -> control_fader -> "/>
</then>
<else>
<if>
<has_value input="slides_enabled" value="yes" />
<then>
<attribute name="label" value="slides"/>
</then>
<else>
<attribute name="label" input="runtime_focus"/>
</else>
</if>
</else>
</if>
</output>
</config>
<route>
<service name="ROM" label="leitzentrale"> <child name="report_rom"/> </service>
<service name="ROM" label="focus"> <child name="report_rom"/> </service>
<service name="ROM" label="slides"> <child name="report_rom"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
<start name="pointer" priority="-1">
<resource name="RAM" quantum="2M"/>
<provides> <service name="Report"/> </provides>
<config shapes="yes"/>
<route>
<service name="Nitpicker"> <child name="nitpicker"/> </service>
<service name="ROM" label="hover"> <child name="report_rom"/> </service>
<service name="ROM" label="xray"> <child name="report_rom"/> </service>
<any-service> <parent/> <any-child/> </any-service>
</route>
</start>
<start name="global_keys_handler" priority="-1">
<resource name="RAM" quantum="1M"/>
<config>
<bool name="leitzentrale" initial="yes"/>
<bool name="reset" initial="no"/>
<bool name="capslock" initial="no"/>
<bool name="numlock" initial="no"/>
<bool name="slides" initial="no"/>
<press name="KEY_PRESENTATION" bool="slides" change="toggle"/>
<press name="KEY_RESTART" bool="reset" change="on"/>
<release name="KEY_RESTART" bool="reset" change="off"/>
<press name="KEY_DASHBOARD" bool="leitzentrale" change="toggle"/>
<press name="KEY_CAPSLOCK" bool="capslock" change="toggle"/>
<press name="KEY_NUMLOCK" bool="numlock" change="toggle"/>
<report name="leitzentrale"> <bool name="leitzentrale"/> </report>
<report name="reset"> <bool name="reset"/> </report>
<report name="capslock"> <bool name="capslock"/> </report>
<report name="numlock"> <bool name="numlock"/> </report>
<report name="slides"> <bool name="slides"/> </report>
</config>
<route>
<service name="Report"> <child name="report_rom"/> </service>
<service name="Nitpicker"> <child name="nitpicker"/> </service>
<service name="Timer"> <child name="timer"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
<start name="leitzentrale_config" priority="-2">
<binary name="rom_filter"/>
<resource name="RAM" quantum="1M"/>
<provides><service name="ROM"/></provides>
<route>
<service name="ROM" label="leitzentrale"> <child name="report_rom"/> </service>
<service name="ROM" label="reset"> <child name="report_rom"/> </service>
<service name="ROM" label="config">
<child name="config_rom" label="leitzentrale/config"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
<start name="leitzentrale" caps="2000" priority="-2">
<binary name="init"/>
<resource name="RAM" quantum="128M"/>
<route>
<service name="LOG"> <child name="log"/> </service>
<service name="ROM" label="config">
<child name="leitzentrale_config"/> </service>
<service name="ROM" label="control_noux -> vimrc">
<child name="config_rom"/> </service>
<service name="ROM" label="trace_subjects">
<child name="report_rom"/> </service>
<service name="Nitpicker"> <child name="nitpicker"/> </service>
<service name="Timer"> <child name="timer"/> </service>
<service name="File_system" label="control_noux -> config">
<child name="config_fs" label="rw"/> </service>
<service name="File_system" label="control_noux -> report">
<child name="report_fs" label="ro"/> </service>
<service name="File_system" label="log_noux -> report">
<child name="report_fs" label="ro"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
<start name="rtc_drv" priority="-1">
<resource name="RAM" quantum="1M"/>
<provides> <service name="Rtc"/> </provides>
</start>
<start name="runtime" caps="50000" priority="-3">
<binary name="init"/>
<resource name="RAM" quantum="12G"/>
<route>
<service name="ROM" label="config">
<child name="config_rom" label="runtime/config"/> </service>
<service name="ROM" label_prefix="config -> ">
<child name="config_rom"/> </service>
<service name="ROM" label_suffix="-> vimrc">
<child name="config_rom" label="vimrc"/> </service>
<service name="ROM" label="system">
<child name="config_rom"/> </service>
<service name="ROM" label="capslock">
<child name="report_rom"/> </service>
<service name="ROM" label="clicked">
<child name="report_rom"/> </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="Block"> <child name="drivers"/> </service>
<service name="Usb"> <child name="drivers"/> </service>
<service name="Platform" label_prefix="acpica">
<child name="drivers" label="acpica"/> </service>
<service name="Platform"> <child name="drivers"/> </service>
<service name="Nitpicker" label="backdrop">
<child name="nitpicker" label="backdrop"/> </service>
<service name="Nitpicker"> <child name="nitpicker"/> </service>
<service name="Timer"> <child name="timer"/> </service>
<service name="Report" label_suffix="-> shape"> <child name="pointer"/> </service>
<service name="Report" label="focus"> <child name="report_rom"/> </service>
<service name="Report"> <child name="fs_report"/> </service>
<service name="LOG" label="unlogged"> <parent/> </service>
<service name="LOG"> <child name="log"/> </service>
<service name="Rtc"> <child name="rtc_drv"/> </service>
<service name="IO_MEM" label_prefix="acpica"> <parent/> </service>
<service name="IO_PORT" label_prefix="acpica"> <parent/> </service>
<service name="IRQ" label_prefix="acpica"> <parent/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
</config>}
foreach file [glob "[genode_dir]/repos/gems/run/sculpt/*.config"] {
file copy -force $file [run_dir]/genode/ }
#
# Override files normally obtained from depot archive with the most current
# version found in the Genode source tree. This way, we don't need to
# rebuild the corresponding depot archives each time we tweak one of the
# files. This is just a hack to accelerate the work flow.
#
file copy -force [genode_dir]/repos/gems/run/sculpt/vimrc [run_dir]/genode/
file copy -force [genode_dir]/repos/gems/run/sculpt/machine.vbox [run_dir]/genode/
file copy -force [genode_dir]/repos/gems/recipes/raw/drivers_managed-pc/drivers.config \
[run_dir]/genode/drivers.config
file copy -force [genode_dir]/repos/os/src/server/input_filter/en_us.chargen \
[run_dir]/genode/en_us.chargen
file copy -force [genode_dir]/repos/os/src/server/input_filter/de.chargen \
[run_dir]/genode/de.chargen
file copy -force [genode_dir]/repos/gems/recipes/raw/drivers_managed-pc/input_filter.config \
[run_dir]/genode/input_filter.config
file copy -force [genode_dir]/repos/gems/recipes/raw/depot_download/depot_download.config \
[run_dir]/genode/depot_download.config
file copy -force [genode_dir]/depot/[depot_user]/pubkey [run_dir]/genode/[depot_user]_pubkey
file copy -force [genode_dir]/depot/[depot_user]/download [run_dir]/genode/[depot_user]_download
exec gzip -dc [genode_dir]/repos/gems/run/sculpt/machine.vdi.gz > [run_dir]/genode/machine.vdi
#
# Package-management support
#
# The package management has two aspects, installation and deployment.
# Packages are installed via the 'install' runtime, which takes the
# information about the packages to install from 'config/installation'.
# Once installed, packages can be deployed via the 'deploy' runtime.
# This runtime can be tailored by modifying 'config/deploy/config'.
#
proc current_pkg { pkg } { return $pkg/[_current_depot_archive_version pkg $pkg] }
#
# Depot packages to be included in the default installation
#
set pkgs_to_install { sculpt-installation }
set fd [open [run_dir]/genode/installation w]
puts $fd "<installation arch=\"[depot_spec]\">"
foreach pkg $pkgs_to_install {
puts $fd " <archive path=\"[depot_user]/pkg/[current_pkg $pkg]\" source=\"false\"/>" }
puts $fd "</installation>"
close $fd
#
# Configuration of deploy runtime
#
# This configuration is not provided as a file at run/sculpt/ because some
# parts need to be filled in at run-script execution time, in particular the
# current versions of the packages to deploy.
#
append depot_deploy_config {
<config arch="} [depot_spec] {">
<static>
<parent-provides>
<service name="ROM"/>
<service name="CPU"/>
<service name="PD"/>
<service name="RM"/>
<service name="LOG"/>
<service name="Timer"/>
<service name="Nitpicker"/>
<service name="File_system"/>
<service name="Rtc"/>
<service name="Usb"/>
<service name="Report"/>
<service name="Block"/>
<service name="Platform"/>
</parent-provides>
</static>
<common_routes>
<service name="ROM" label_last="ld.lib.so"> <parent/> </service>
<service name="ROM" label_last="init"> <parent/> </service>
<service name="CPU"> <parent/> </service>
<service name="PD"> <parent/> </service>
<service name="LOG"> <parent/> </service>
<service name="Timer"> <parent/> </service>
</common_routes>
<start name="nit_focus" pkg="} [depot_user]/pkg/[current_pkg nit_focus] {">
<route>
<service name="ROM" label="clicked"> <parent label="clicked"/> </service>
<service name="Report" label="focus"> <parent label="focus"/> </service>
</route>
</start>
<start name="noux" pkg="} [depot_user]/pkg/[current_pkg noux-system] {">
<route>
<service name="Nitpicker"> <parent/> </service>
<service name="File_system" label="config">
<parent label="config"/> </service>
<service name="File_system" label="report">
<parent label="report"/> </service>
<service name="File_system" label="target">
<parent label="rw"/> </service>
<service name="ROM" label="vimrc"> <parent/> </service>
</route>
</start>
<!--
<start name="nic_drv" pkg="} [depot_user]/pkg/[current_pkg wifi] {">
<route>
<service name="Platform"> <parent label="wifi"/> </service>
<service name="Rtc"> <parent/> </service>
<service name="Report"> <parent/> </service>
<service name="RM"> <parent/> </service>
<service name="ROM" label="wlan_configuration">
<parent label="wlan.config"/> </service>
</route>
</start>
-->
<!--
<start name="nic_drv" pkg="} [depot_user]/pkg/[current_pkg ipxe_nic_drv] {">
<route>
<service name="Platform"> <parent label="nic"/> </service>
<service name="Report"> <parent/> </service>
<service name="RM"> <parent/> </service>
</route>
</start>
-->
<!--
<start name="nic_router" pkg="} [depot_user]/pkg/[current_pkg nic_router-nat] {">
<route>
<service name="Nic"> <child name="nic_drv"/> </service>
</route>
</start>
-->
<!--
<start name="vm_fs" pkg="} [depot_user]/pkg/[current_pkg chroot] {">
<route>
<service name="File_system"> <parent label="rw"/> </service>
</route>
<config> <default-policy path="/vm/debian"/> </config>
</start>
<start name="shared_fs" pkg="} [depot_user]/pkg/[current_pkg chroot] {">
<route>
<service name="File_system"> <parent label="rw"/> </service>
</route>
<config> <default-policy path="/shared"/> </config>
</start>
<start name="usb_devices_rom" pkg="} [depot_user]/pkg/[current_pkg rom_filter] {">
<config>
<output node="devices">
<inline>
</inline>
</output>
</config>
</start>
<start name="vm" pkg="} [depot_user]/pkg/[current_pkg vbox5-nova-sculpt] {">
<route>
<service name="ROM" label="capslock"> <parent label="capslock"/> </service>
<service name="ROM" label="hypervisor_info_page"> <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="Nic"> <child name="nic_router"/> </service>
<service name="Report"> <parent/> </service>
<service name="RM"> <parent/> </service>
<service name="Rtc"> <parent/> </service>
<service name="Usb"> <parent/> </service>
<service name="File_system" label="vm"> <child name="vm_fs"/> </service>
<service name="File_system" label="shared"> <child name="shared_fs"/> </service>
</route>
</start>
-->
</config>}
set fd [open [run_dir]/genode/deploy.config w]
puts $fd $depot_deploy_config
close $fd
#
# Create and run boot image
#
append boot_modules { }
build_boot_image $boot_modules
# enable Qemu networking, usable via the nic_drv
append qemu_args " -m 768 -net nic,model=e1000 -net user "
# attach small SATA disk to Qemu to experiment with file-system access
set disk_image "bin/sculpt-ahci.raw"
if {![file exists bin/sculpt-ahci.raw]} {
puts stderr "creating toy disk image $disk_image for use in Qemu"
catch { exec dd if=/dev/zero of=$disk_image bs=1M count=512 }
}
append qemu_args " -device ahci,id=ahci "
append qemu_args " -drive id=hdd,file=$disk_image,format=raw,if=none -device ide-hd,drive=hdd,bus=ahci.0 "
run_genode_until forever

67
repos/gems/run/sculpt/block_runtime.config Normal file
View File

@ -0,0 +1,67 @@
<config>
<report init_ram="yes" child_ram="yes" delay_ms="4000"/>
<parent-provides>
<service name="ROM"/>
<service name="PD"/>
<service name="RM"/>
<service name="CPU"/>
<service name="LOG"/>
<service name="Nitpicker"/>
<service name="Timer"/>
<service name="Report"/>
<service name="Block"/>
</parent-provides>
<default-route> <any-service> <parent/> <any-child/> </any-service> </default-route>
<default caps="100"/>
<start name="nit_focus">
<resource name="RAM" quantum="1M"/>
<config>
<policy label_prefix="leitzentrale" focus="no"/>
<default-policy focus="yes"/>
</config>
<route>
<service name="ROM" label="clicked"> <parent label="clicked"/> </service>
<service name="Report" label="focus"> <parent label="focus"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
<start name="nit_fb">
<resource name="RAM" quantum="4M"/>
<provides> <service name="Framebuffer"/> <service name="Input"/> </provides>
<config xpos="200" ypos="50" width="800" height="600"/>
</start>
<start name="terminal">
<binary name="terminal"/>
<resource name="RAM" quantum="4M"/>
<provides> <service name="Terminal"/> </provides>
<config> <keyboard layout="none"/> <font size="16" /> </config>
</start>
<start name="noux" caps="500">
<binary name="noux"/>
<resource name="RAM" quantum="100M" />
<config>
<fstab>
<tar name="bash-minimal.tar" />
<tar name="coreutils-minimal.tar" />
<tar name="vim-minimal.tar" />
<tar name="e2fsprogs-minimal.tar" />
<dir name="dev">
<zero/> <null/>
<block name="block" label="default" block_buffer_count="128"/>
</dir>
</fstab>
<start name="/bin/bash">
<env name="TERM" value="linux" />
<env name="PS1" value="block:$PWD> " />
</start>
</config>
</start>
</config>

47
repos/gems/run/sculpt/default_fs_subinit.config Normal file
View File

@ -0,0 +1,47 @@
<config>
<parent-provides>
<service name="ROM"/>
<service name="PD"/>
<service name="RM"/>
<service name="CPU"/>
<service name="LOG"/>
<service name="Timer"/>
<service name="Block"/>
</parent-provides>
<default-route> <any-service> <parent/> </any-service> </default-route>
<service name="File_system">
<default-policy> <child name="vfs"/> </default-policy> </service>
<start name="vfs" caps="400">
<resource name="RAM" quantum="110M" />
<provides> <service name="File_system"/> </provides>
<config>
<vfs> <rump fs="ext2fs" writeable="yes"/> </vfs>
<default-policy root="/" writeable="yes"/>
</config>
<route>
<service name="Block"> <parent label="default"/> </service>
<!--
<service name="Block"> <child name="part_blk"/> </service>
-->
<any-service> <parent/> </any-service>
</route>
</start>
<!--
<start name="part_blk" caps="100">
<resource name="RAM" quantum="10M"/>
<provides><service name="Block"/></provides>
<config use_gpt="yes">
<policy label_prefix="vfs" partition="1" writeable="yes"/>
</config>
<route>
<service name="Block"> <parent label="default"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
-->
</config>

54
repos/gems/run/sculpt/default_nic_subinit.config Normal file
View File

@ -0,0 +1,54 @@
<config>
<parent-provides>
<service name="ROM"/>
<service name="PD"/>
<service name="RM"/>
<service name="CPU"/>
<service name="LOG"/>
<service name="Timer"/>
<service name="Platform"/>
<service name="Report"/>
<service name="Rtc"/>
</parent-provides>
<default-route> <any-service> <parent/> </any-service> </default-route>
<service name="Nic">
<default-policy> <child name="nic"/> </default-policy> </service>
<!-- wifi driver (default) -->
<start name="nic" caps="300">
<binary name="wifi_drv" />
<resource name="RAM" quantum="54M"/>
<provides> <service name="Nic"/> </provides>
<config ld_verbose="yes" verbose="yes" use_11n="no" connected_scan_interval="0">
<vfs>
<dir name="dev"> <log/> <rtc/> <null/>
<jitterentropy name="random"/>
<jitterentropy name="urandom"/>
</dir>
<dir name="config"> <ram/> </dir>
</vfs>
<libc stdout="/dev/null" stderr="/dev/log" rtc="/dev/rtc"/>
</config>
<route>
<service name="ROM" label="wlan_configuration">
<parent label="wlan.config"/> </service>
<service name="Platform"> <parent label="wifi"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
<!-- uncomment for wired NIC driver -->
<!-- <start name="nic" caps="300">
<binary name="nic_drv" />
<resource name="RAM" quantum="16M"/>
<provides> <service name="Nic"/> </provides>
<config />
<route>
<service name="Platform"> <parent label="nic"/> </service>
<any-service> <parent/> </any-service>
</route>
</start> -->
</config>

58
repos/gems/run/sculpt/default_noux_subinit.config Normal file
View File

@ -0,0 +1,58 @@
<config>
<parent-provides>
<service name="ROM"/>
<service name="PD"/>
<service name="RM"/>
<service name="CPU"/>
<service name="LOG"/>
<service name="Timer"/>
<service name="File_system"/>
<service name="Nitpicker"/>
</parent-provides>
<default-route> <any-service> <parent/> <any-child/> </any-service> </default-route>
<default caps="100"/>
<start name="nit_fb">
<resource name="RAM" quantum="4M"/>
<provides> <service name="Framebuffer"/> <service name="Input"/> </provides>
<config xpos="10" ypos="10" width="800" height="600"/>
</start>
<start name="terminal">
<binary name="terminal"/>
<resource name="RAM" quantum="4M"/>
<provides> <service name="Terminal"/> </provides>
<config> <keyboard layout="none"/> <font size="16" /> </config>
</start>
<start name="noux" caps="500">
<binary name="noux"/>
<resource name="RAM" quantum="64M" />
<exit propagate="yes"/>
<config>
<fstab>
<tar name="bash-minimal.tar" />
<tar name="coreutils-minimal.tar" />
<tar name="vim-minimal.tar" />
<dir name="dev"> <zero/> <null/> </dir>
<dir name="rw"> <fs label="target"/> </dir>
<dir name="config"> <fs label="config"/> </dir>
<dir name="tmp"> <ram /> </dir>
<dir name="share"> <dir name="vim"> <rom name="vimrc"/> </dir> </dir>
</fstab>
<start name="/bin/bash">
<env name="TERM" value="linux" />
<env name="PS1" value="noux:$PWD> " />
</start>
</config>
<route>
<service name="File_system" label="target"> <parent label="target"/> </service>
<service name="File_system" label="config"> <parent label="config"/> </service>
<service name="Terminal"> <child name="terminal"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
</config>

117
repos/gems/run/sculpt/deploy_runtime.config Normal file
View File

@ -0,0 +1,117 @@
<config verbose="no" prio_levels="2">
<report init_ram="yes" requested="yes" child_ram="yes" delay_ms="2000" buffer="128K"/>
<parent-provides>
<service name="ROM"/>
<service name="PD"/>
<service name="RM"/>
<service name="CPU"/>
<service name="LOG"/>
<service name="Nitpicker"/>
<service name="Timer"/>
<service name="Block"/>
<service name="Report"/>
<service name="Rtc"/>
<service name="Usb"/>
<service name="File_system"/>
<service name="Platform"/>
</parent-provides>
<default-route> <any-service> <parent/> <any-child/> </any-service> </default-route>
<default caps="100"/>
<start name="fs" caps="500">
<resource name="RAM" quantum="114M"/>
<binary name="init"/>
<route>
<service name="ROM" label="config">
<parent label="config -> subinit/default_fs.config"/> </service>
<any-service> <parent/> </any-service>
</route>
<provides> <service name="File_system"/> <service name="Block"/> </provides>
</start>
<start name="depot_fs" priority="0">
<binary name="chroot"/>
<resource name="RAM" quantum="1M" />
<provides> <service name="File_system"/> </provides>
<config> <default-policy path="/depot"/> </config>
<route>
<service name="File_system"> <child name="fs"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
<start name="report_rom">
<binary name="report_rom"/>
<resource name="RAM" quantum="1M"/>
<provides> <service name="Report"/> <service name="ROM"/> </provides>
<config verbose="no">
<policy label="depot_deploy -> blueprint" report="depot_query -> blueprint"/>
<policy label="depot_query -> query" report="depot_deploy -> query"/>
<policy label="dynamic -> config" report="depot_deploy -> init.config"/>
</config>
</start>
<start name="depot_rom">
<binary name="fs_rom"/>
<resource name="RAM" quantum="80M"/>
<provides> <service name="ROM"/> </provides>
<route>
<service name="File_system"> <child name="depot_fs"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
<start name="depot_query">
<resource name="RAM" quantum="1M"/>
<config query="rom">
<vfs> <dir name="depot"> <fs/> </dir> </vfs>
</config>
<route>
<service name="ROM" label="query"> <child name="report_rom"/> </service>
<service name="Report"> <child name="report_rom"/> </service>
<service name="File_system"> <child name="depot_fs"/> </service>
<any-service> <parent/> <any-child/> </any-service>
</route>
</start>
<start name="depot_deploy">
<resource name="RAM" quantum="1M"/>
<route>
<service name="ROM" label="config">
<parent label="config -> deploy/config"/> </service>
<service name="ROM" label="blueprint"> <child name="report_rom"/> </service>
<service name="Report"> <child name="report_rom"/> </service>
<any-service> <parent/> <any-child/> </any-service>
</route>
</start>
<start name="dynamic" caps="30000">
<resource name="RAM" quantum="12G"/>
<binary name="init"/>
<route>
<service name="ROM" label_last="ld.lib.so"> <parent/> </service>
<service name="ROM" label_last="init"> <parent/> </service>
<service name="ROM" label_last="vimrc"> <parent/> </service>
<service name="ROM" label_last="slides.pdf"> <parent/> </service>
<service name="ROM" label_last="capslock"> <parent label="capslock"/> </service>
<service name="ROM" label_last="hypervisor_info_page"> <parent/> </service>
<service name="ROM" label_last="wlan.config">
<parent label="config -> wlan.config"/> </service>
<service name="ROM" label="config"> <child name="report_rom"/> </service>
<service name="ROM" label="clicked"> <parent label="clicked"/> </service>
<service name="ROM"> <child name="depot_rom"/> </service>
<service name="Report" label="focus"> <parent label="focus"/> </service>
<service name="Nitpicker" label="backdrop"> <parent label="backdrop"/> </service>
<service name="File_system" label="config"> <parent label="config"/> </service>
<service name="File_system" label="report"> <parent label="report"/> </service>
<service name="File_system" label="rw"> <child name="fs"/> </service>
<service name="Block" label_prefix="default"> <child name="fs"/> </service>
<any-service> <parent/> <any-child/> </any-service>
</route>
</start>
</config>

134
repos/gems/run/sculpt/download_runtime.config Normal file
View File

@ -0,0 +1,134 @@
<config verbose="yes" prio_levels="2">
<report init_ram="yes" requested="yes" child_ram="yes" delay_ms="2000" buffer="128K"/>
<parent-provides>
<service name="ROM"/>
<service name="PD"/>
<service name="RM"/>
<service name="CPU"/>
<service name="LOG"/>
<service name="Nitpicker"/>
<service name="Timer"/>
<service name="Block"/>
<service name="Report"/>
<service name="Rtc"/>
<service name="File_system"/>
<service name="Platform"/>
</parent-provides>
<default-route> <any-service> <parent/> <any-child/> </any-service> </default-route>
<default caps="100"/>
<start name="nit_focus">
<resource name="RAM" quantum="1M"/>
<config>
<policy label_prefix="leitzentrale" focus="no"/>
<default-policy focus="yes"/>
</config>
<route>
<service name="ROM" label="clicked"> <parent label="clicked"/> </service>
<service name="Report" label="focus"> <parent label="focus"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
<start name="fs" caps="500">
<resource name="RAM" quantum="114M"/>
<binary name="init"/>
<route>
<service name="ROM" label="config">
<parent label="config -> subinit/default_fs.config"/> </service>
<any-service> <parent/> </any-service>
</route>
<provides> <service name="File_system"/> </provides>
</start>
<start name="noux" caps="1000">
<resource name="RAM" quantum="80M"/>
<binary name="init"/>
<route>
<service name="ROM" label="config">
<parent label="config -> subinit/default_noux.config"/> </service>
<service name="File_system" label="config">
<parent label="config"/> </service>
<service name="File_system" label="target">
<child name="fs"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
<start name="nic" caps="500">
<resource name="RAM" quantum="60M"/>
<binary name="init"/>
<route>
<service name="ROM" label="config">
<parent label="config -> subinit/default_nic.config"/> </service>
<service name="ROM" label="wlan.config">
<parent label="config -> wlan.config"/> </service>
<any-service> <parent/> </any-service>
</route>
<provides> <service name="Nic"/> </provides>
</start>
<start name="nic_router" caps="300">
<resource name="RAM" quantum="10M"/>
<provides><service name="Nic"/></provides>
<config verbose_domain_state="yes">
<default-policy domain="default" />
<domain name="uplink">
<nat domain="default" tcp-ports="1000" udp-ports="1000"/>
</domain>
<domain name="default" interface="10.0.1.1/24">
<dhcp-server ip_first="10.0.1.2"
ip_last="10.0.1.200"
ip_lease_time_sec="360"
dns_server="213.73.91.35"/>
<tcp dst="0.0.0.0/0"><permit-any domain="uplink"/></tcp>
<udp dst="0.0.0.0/0"><permit-any domain="uplink"/></udp>
</domain>
</config>
<route>
<service name="Nic"> <child name="nic"/> </service>
<any-service> <parent/> <any-child/> </any-service>
</route>
</start>
<!--
<start name="download_fs">
<binary name="chroot"/>
<resource name="RAM" quantum="1M" />
<provides> <service name="File_system"/> </provides>
<config> <default-policy path="/vm/debian"/> </config>
<route>
<service name="File_system"> <child name="fs"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
<start name="fetchurl" caps="500">
<resource name="RAM" quantum="8M"/>
<config>
<libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc"/>
<vfs>
<dir name="download"> <fs label="download"/> </dir>
<dir name="dev">
<log/> <null/> <inline name="rtc">2000-01-01 00:00</inline>
</dir>
</vfs>
<fetch url="https://cdimage.debian.org/debian-cd/current/amd64/iso-cd/debian-9.3.0-amd64-netinst.iso"
path="/download/installer.iso"/>
</config>
<route>
<service name="File_system"> <child name="download_fs"/> </service>
<service name="Nic"> <child name="nic_router"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
-->
</config>

19
repos/gems/run/sculpt/empty_runtime.config Normal file
View File

@ -0,0 +1,19 @@
<config verbose="yes">
<parent-provides>
<service name="ROM"/>
<service name="PD"/>
<service name="RM"/>
<service name="CPU"/>
<service name="LOG"/>
<service name="IO_MEM"/>
<service name="IO_PORT"/>
<service name="IRQ"/>
<service name="Nitpicker"/>
<service name="Timer"/>
<service name="Block"/>
<service name="Report"/>
<service name="Platform"/>
</parent-provides>
<default-route> <any-service> <parent/> </any-service> </default-route>
<default caps="100"/>
</config>

5
repos/gems/run/sculpt/fb_drv.config Normal file
View File

@ -0,0 +1,5 @@
<config width="1024" height="768" buffered="yes">
<report connectors="yes"/>
<connector name="eDP-36" width="1920" height="1080" enabled="true"/>
<!-- <connector name="HDMI-A-56" width="1024" height="768" hz="75" enabled="true"/> -->
</config>

61
repos/gems/run/sculpt/fs_runtime.config Normal file
View File

@ -0,0 +1,61 @@
<config verbose="yes">
<report init_ram="yes" requested="yes" child_ram="yes" delay_ms="2000" buffer="128K"/>
<parent-provides>
<service name="ROM"/>
<service name="PD"/>
<service name="RM"/>
<service name="CPU"/>
<service name="LOG"/>
<service name="Nitpicker"/>
<service name="Timer"/>
<service name="Report"/>
<service name="Block"/>
<service name="File_system"/>
</parent-provides>
<default-route> <any-service> <parent/> <any-child/> </any-service> </default-route>
<default caps="100"/>
<start name="nit_focus">
<resource name="RAM" quantum="1M"/>
<config>
<policy label_prefix="leitzentrale" focus="no"/>
<default-policy focus="yes"/>
</config>
<route>
<service name="ROM" label="clicked"> <parent label="clicked"/> </service>
<service name="Report" label="focus"> <parent label="focus"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
<start name="fs" caps="500">
<resource name="RAM" quantum="114M"/>
<binary name="init"/>
<route>
<service name="ROM" label="config">
<parent label="config -> subinit/default_fs.config"/> </service>
<any-service> <parent/> </any-service>
</route>
<provides> <service name="File_system"/> </provides>
</start>
<start name="noux" version="fs" caps="1000">
<resource name="RAM" quantum="80M"/>
<binary name="init"/>
<route>
<service name="ROM" label="config">
<parent label="config -> subinit/default_noux.config"/> </service>
<service name="File_system" label="config">
<parent label="config"/> </service>
<service name="File_system" label="target">
<child name="fs"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
</config>

171
repos/gems/run/sculpt/leitzentrale.config Normal file
View File

@ -0,0 +1,171 @@
<config>
<input name="leitzentrale_enabled" rom="leitzentrale" node="leitzentrale">
<attribute name="enabled" /> </input>
<input name="reset_enabled" rom="reset" node="reset">
<attribute name="enabled" /> </input>
<output node="config">
<inline>
<parent-provides>
<service name="ROM"/>
<service name="PD"/>
<service name="RM"/>
<service name="CPU"/>
<service name="LOG"/>
<service name="Nitpicker"/>
<service name="Timer"/>
<service name="File_system"/>
</parent-provides>
<default-route> <any-service> <parent/> </any-service> </default-route>
<default caps="100"/>
</inline>
<if>
<has_value input="leitzentrale_enabled" value="yes" />
<then>
<inline>
<start name="control_fader">
<binary name="nit_fader"/>
<resource name="RAM" quantum="18M"/>
<provides> <service name="Nitpicker"/> </provides>
<config alpha="210"/>
</start>
<start name="log_fader">
<binary name="nit_fader"/>
<resource name="RAM" quantum="8M"/>
<provides> <service name="Nitpicker"/> </provides>
<config alpha="200"/>
</start>
</inline>
</then>
<else>
<inline>
<start name="control_fader">
<binary name="nit_fader"/>
<resource name="RAM" quantum="18M"/>
<provides> <service name="Nitpicker"/> </provides>
<config alpha="0"/>
</start>
<start name="log_fader">
<binary name="nit_fader"/>
<resource name="RAM" quantum="8M"/>
<provides> <service name="Nitpicker"/> </provides>
<config alpha="0"/>
</start>
</inline>
</else>
</if>
<inline>
<start name="control_nit_fb">
<binary name="nit_fb"/>
<resource name="RAM" quantum="8M"/>
<provides> <service name="Framebuffer"/> <service name="Input"/> </provides>
<config xpos="2" ypos="2" width="-416" height="-4"/>
<route>
<service name="Nitpicker"> <child name="control_fader"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
<start name="log_nit_fb">
<binary name="nit_fb"/>
<resource name="RAM" quantum="4M"/>
<provides> <service name="Framebuffer"/> <service name="Input"/> </provides>
<config origin="top_right" xpos="-412" ypos="2" width="410" height="-4"/>
<route>
<service name="Nitpicker"> <child name="log_fader"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
<start name="log_terminal">
<binary name="terminal"/>
<resource name="RAM" quantum="4M"/>
<provides> <service name="Terminal"/> </provides>
<config>
<keyboard layout="none"/>
<font size="8" />
</config>
<route>
<any-service> <child name="log_nit_fb"/> <parent/> </any-service>
</route>
</start>
<start name="log_noux" caps="200">
<binary name="noux"/>
<resource name="RAM" quantum="24M" />
<config>
<fstab>
<tar name="coreutils-minimal.tar" />
<dir name="dev"> <zero/> <null/> </dir>
<dir name="report"> <fs label="report"/> </dir>
</fstab>
<start name="/bin/tail">
<env name="TERM" value="linux" />
<arg value="-f"/>
<arg value="/report/log"/>
</start>
</config>
<route>
<any-service> <child name="log_terminal"/> <parent/> </any-service>
</route>
</start>
<!--
<start name="cpu_load_display">
<resource name="RAM" quantum="6M"/>
<route>
<service name="ROM" label="trace_subjects"> <parent label="trace_subjects"/> </service>
<any-service> <parent/> <any-child/> </any-service>
</route>
</start>
-->
</inline>
<if>
<has_value input="reset_enabled" value="no" />
<then>
<inline>
<start name="control_terminal">
<binary name="terminal"/>
<resource name="RAM" quantum="8M"/>
<provides> <service name="Terminal"/> </provides>
<config>
<keyboard layout="none"/>
<font size="16" />
</config>
<route>
<any-service> <child name="control_nit_fb"/> <parent/> </any-service>
</route>
</start>
<start name="control_noux" caps="1000">
<binary name="noux"/>
<resource name="RAM" quantum="48M" />
<config>
<fstab>
<tar name="coreutils-minimal.tar" />
<tar name="vim-minimal.tar" />
<tar name="bash-minimal.tar" />
<dir name="dev"> <zero/> <null/> </dir>
<dir name="config"> <fs label="config"/> </dir>
<dir name="report"> <fs label="report"/> </dir>
<dir name="tmp"> <ram /> </dir>
<dir name="share"> <dir name="vim"> <rom name="vimrc"/> </dir> </dir>
</fstab>
<start name="/bin/bash">
<env name="TERM" value="linux" />
<env name="PS1" value="genode:$PWD> " />
</start>
</config>
<route>
<any-service> <child name="control_terminal"/> <parent/> </any-service>
</route>
</start>
</inline>
</then>
</if>
</output>
</config>

81
repos/gems/run/sculpt/load_runtime.config Normal file
View File

@ -0,0 +1,81 @@
<config verbose="yes">
<report init_ram="yes" requested="yes" child_ram="yes" delay_ms="2000" buffer="128K"/>
<parent-provides>
<service name="ROM"/>
<service name="PD"/>
<service name="RM"/>
<service name="CPU"/>
<service name="LOG"/>
<service name="Nitpicker"/>
<service name="Timer"/>
<service name="Report"/>
<service name="Block"/>
<service name="File_system"/>
</parent-provides>
<default-route> <any-service> <parent/> <any-child/> </any-service> </default-route>
<default caps="100"/>
<start name="fs" caps="500">
<resource name="RAM" quantum="114M"/>
<binary name="init"/>
<route>
<service name="ROM" label="config">
<parent label="config -> subinit/default_fs.config"/> </service>
<any-service> <parent/> </any-service>
</route>
<provides> <service name="File_system"/> </provides>
</start>
<start name="nit_fb" version="initial">
<resource name="RAM" quantum="4M"/>
<provides> <service name="Framebuffer"/> <service name="Input"/> </provides>
<config xpos="200" ypos="5000" width="800" height="600"/>
</start>
<start name="terminal" version="initial">
<binary name="terminal"/>
<resource name="RAM" quantum="4M"/>
<provides> <service name="Terminal"/> </provides>
<config> <keyboard layout="none"/> <font size="16" /> </config>
</start>
<start name="noux" caps="500" version="initial">
<binary name="noux"/>
<resource name="RAM" quantum="100M" />
<config>
<fstab>
<inline name=".bash_profile">
cp /rw/config/* /config/
cp /rw/config/subinit/*.config /config/subinit/
cp /rw/config/deploy/* /config/deploy/
cp /rw/config/leitzentrale/config /config/leitzentrale/
cp /rw/config/runtime/*.config /config/runtime/
cp /rw/config/runtime/config /config/runtime/
</inline>
<tar name="bash-minimal.tar" />
<tar name="coreutils-minimal.tar" />
<dir name="dev"> <zero/> <null/> </dir>
<dir name="rw"> <fs label="target"/> </dir>
<dir name="config"> <fs label="config"/> </dir>
</fstab>
<start name="/bin/bash">
<env name="TERM" value="linux" />
<env name="PS1" value="fs:$PWD> " />
<env name="HOME" value="/" />
<arg value="--login"/>
</start>
</config>
<route>
<service name="File_system" label="target"> <child name="fs"/> </service>
<service name="File_system" label="config"> <parent label="config"/> </service>
<service name="Terminal"> <child name="terminal"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
</config>

60
repos/gems/run/sculpt/machine.vbox Normal file
View File

@ -0,0 +1,60 @@
<?xml version="1.0"?>
<VirtualBox xmlns="http://www.virtualbox.org/" version="1.14-freebsd">
<Machine uuid="{37ab43a5-38d8-4491-93f5-5b0b077f5c32}" name="ubuntu_16_04_64" OSType="Ubuntu_64" snapshotFolder="Snapshots" lastStateChange="2018-01-23T18:40:00Z">
<MediaRegistry>
<HardDisks>
<HardDisk uuid="{a90a16bf-f724-4321-99df-5498d6e4b796}" location="machine.vdi" format="VDI" type="Normal"/>
</HardDisks>
<DVDImages>
<Image uuid="{81763434-9a51-49e8-9444-528a5a28c4bc}" location="installer.iso"/>
</DVDImages>
</MediaRegistry>
<Hardware>
<CPU count="2">
<PAE enabled="true"/>
<LongMode enabled="true"/>
<HardwareVirtExLargePages enabled="false"/>
</CPU>
<Memory RAMSize="4096"/>
<HID Pointing="USBTablet"/>
<Display VRAMSize="20"/>
<RemoteDisplay enabled="false"/>
<BIOS>
<IOAPIC enabled="true"/>
</BIOS>
<USB>
<Controllers>
<Controller name="OHCI" type="OHCI"/>
</Controllers>
</USB>
<Network>
<Adapter slot="0" enabled="true" MACAddress="0800271D7901" cable="true" type="82540EM">
<BridgedInterface/>
</Adapter>
</Network>
<UART>
<Port slot="0" enabled="false" IOBase="0x3f8" IRQ="4" hostMode="Disconnected"/>
<Port slot="1" enabled="false" IOBase="0x2f8" IRQ="3" hostMode="Disconnected"/>
</UART>
<LPT>
<Port slot="0" enabled="false" IOBase="0x378" IRQ="7"/>
<Port slot="1" enabled="false" IOBase="0x378" IRQ="7"/>
</LPT>
<AudioAdapter controller="HDA" driver="OSS" enabled="false"/>
<RTC localOrUTC="UTC"/>
<SharedFolders>
<SharedFolder name="shared" hostPath="/shared" writable="true" autoMount="true"/>
</SharedFolders>
</Hardware>
<StorageControllers>
<StorageController name="SATA" type="AHCI" PortCount="4" useHostIOCache="true" Bootable="true" IDE0MasterEmulationPort="0" IDE0SlaveEmulationPort="1" IDE1MasterEmulationPort="2" IDE1SlaveEmulationPort="3">
<AttachedDevice type="HardDisk" port="0" device="0">
<Image uuid="{a90a16bf-f724-4321-99df-5498d6e4b796}"/>
</AttachedDevice>
<AttachedDevice passthrough="false" type="DVD" port="3" device="0">
<Image uuid="{81763434-9a51-49e8-9444-528a5a28c4bc}"/>
</AttachedDevice>
</StorageController>
</StorageControllers>
</Machine>
</VirtualBox>

BIN
repos/gems/run/sculpt/machine.vdi.gz Normal file
View File

Binary file not shown.

25
repos/gems/run/sculpt/nitpicker.config Normal file
View File

@ -0,0 +1,25 @@
<config focus="rom">
<report hover="yes" focus="yes" clicked="yes" keystate="no"/>
<background color="#131415"/>
<domain name="pointer" layer="1" content="client" label="no" origin="pointer" />
<domain name="leitzentrale" layer="2" content="client" label="no" hover="always" focus="click" />
<domain name="slides" layer="3" content="client" label="no" hover="always" focus="click" />
<domain name="default" layer="4" color="#052944" hover="always" focus="click" />
<domain name="decorator" layer="4" content="client" label="no" hover="always" focus="transient" />
<domain name="desktop" layer="4" content="client" label="no" hover="always" focus="click" />
<domain name="background" layer="5" content="client" label="no" hover="always" focus="transient" />
<policy label_prefix="runtime -> dynamic -> wm -> wm -> decorator" domain="decorator"/>
<policy label_prefix="runtime -> dynamic -> wm" domain="desktop"/>
<policy label_prefix="pointer" domain="pointer"/>
<policy label_prefix="leitzentrale -> " domain="leitzentrale"/>
<policy label="slides" domain="slides"/>
<policy label="backdrop" domain="background"/>
<default-policy domain="default"/>
<global-key name="KEY_RESTART" label="global_keys_handler -> input" />
<global-key name="KEY_DASHBOARD" label="global_keys_handler -> input" />
<global-key name="KEY_CAPSLOCK" label="global_keys_handler -> input" />
<global-key name="KEY_NUMLOCK" label="global_keys_handler -> input" />
</config>

119
repos/gems/run/sculpt/update_runtime.config Normal file
View File

@ -0,0 +1,119 @@
<config verbose="yes" prio_levels="2">
<report init_ram="yes" requested="yes" child_ram="yes" delay_ms="2000" buffer="128K"/>
<parent-provides>
<service name="ROM"/>
<service name="PD"/>
<service name="RM"/>
<service name="CPU"/>
<service name="LOG"/>
<service name="Nitpicker"/>
<service name="Timer"/>
<service name="Block"/>
<service name="Report"/>
<service name="Rtc"/>
<service name="File_system"/>
<service name="Platform"/>
</parent-provides>
<default-route> <any-service> <parent/> <any-child/> </any-service> </default-route>
<default caps="100"/>
<start name="nic" caps="500">
<resource name="RAM" quantum="60M"/>
<binary name="init"/>
<route>
<service name="ROM" label="config">
<parent label="config -> subinit/default_nic.config"/> </service>
<service name="ROM" label="wlan.config">
<parent label="config -> wlan.config"/> </service>
<any-service> <parent/> </any-service>
</route>
<provides> <service name="Nic"/> </provides>
</start>
<start name="nic_router" caps="300">
<resource name="RAM" quantum="10M"/>
<provides><service name="Nic"/></provides>
<config verbose_domain_state="yes">
<default-policy domain="default" />
<domain name="uplink">
<nat domain="default" tcp-ports="1000" udp-ports="1000"/>
</domain>
<domain name="default" interface="10.0.1.1/24">
<dhcp-server ip_first="10.0.1.2"
ip_last="10.0.1.200"
ip_lease_time_sec="360"
dns_server="213.73.91.35"/>
<tcp dst="0.0.0.0/0"><permit-any domain="uplink"/></tcp>
<udp dst="0.0.0.0/0"><permit-any domain="uplink"/></udp>
</domain>
</config>
<route>
<service name="Nic"> <child name="nic"/> </service>
<any-service> <parent/> <any-child/> </any-service>
</route>
</start>
<start name="fs" caps="500">
<resource name="RAM" quantum="114M"/>
<binary name="init"/>
<route>
<service name="ROM" label="config">
<parent label="config -> subinit/default_fs.config"/> </service>
<any-service> <parent/> </any-service>
</route>
<provides> <service name="File_system"/> </provides>
</start>
<start name="depot_fs" priority="0">
<binary name="chroot"/>
<resource name="RAM" quantum="1M" />
<provides> <service name="File_system"/> </provides>
<config> <default-policy path="/depot"/> </config>
<route>
<service name="File_system"> <child name="fs"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
<start name="public_fs" priority="0">
<binary name="chroot"/>
<resource name="RAM" quantum="1M" />
<provides> <service name="File_system"/> </provides>
<config> <default-policy path="/public"/> </config>
<route>
<service name="File_system"> <child name="fs"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
<start name="depot_download" caps="2000">
<binary name="init"/>
<resource name="RAM" quantum="32M"/>
<route>
<service name="ROM" label="config">
<parent label="config -> subinit/depot_download.config"/> </service>
<service name="File_system" label="depot">
<child name="depot_fs" label="depot"/> </service>
<service name="File_system" label="public">
<child name="public_fs" label="public"/> </service>
<service name="File_system" label="depot_rw">
<child name="depot_fs" label="depot_rw"/> </service>
<service name="File_system" label="public_rw">
<child name="public_fs" label="public_rw"/> </service>
<service name="LOG" label="dynamic -> fetchurl">
<parent label="fetchurl"/> </service>
<service name="LOG" label="dynamic -> verify">
<parent label="verify"/> </service>
<service name="LOG" label="dynamic -> extract">
<parent label="extract"/> </service>
<service name="Nic"> <child name="nic_router"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
</config>

10
repos/gems/run/sculpt/vimrc Normal file
View File

@ -0,0 +1,10 @@
set noloadplugins
set hls
set nocompatible
set laststatus=2
set noswapfile
set viminfo=
set backspace=indent,eol,start
set nowrap
set ruler
set ts=2

1
repos/gems/run/sculpt/wlan.config Normal file
View File

@ -0,0 +1 @@
<selected_network ssid="" protection="WPA-PSK" psk=""/>