mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-22 23:12:24 +00:00
55492fbe5b
By assigning CPU budgets, base-hw's priorities come into effect. Even though the chosen values are rather guessed than informed, they yield a visibly improved responsiveness on the Pinephone.
926 lines
27 KiB
Plaintext
926 lines
27 KiB
Plaintext
#
|
|
# \brief Sculpt OS
|
|
# \author Norman Feske
|
|
# \date 2017-09-07
|
|
#
|
|
|
|
#
|
|
# Note: the string must be exactly 5 bytes long.
|
|
#
|
|
proc sculpt_version { } { return "21.11" }
|
|
|
|
|
|
proc assert_platform_supported { } {
|
|
|
|
if {[have_board pc]} return
|
|
if {[have_board imx8q_evk]} return
|
|
if {[have_board mnt_reform2]} return
|
|
if {[have_board linux]} return
|
|
if {[have_board pinephone]} return
|
|
|
|
puts "Platform is unsupported.";
|
|
exit 0;
|
|
}
|
|
|
|
assert_platform_supported
|
|
|
|
|
|
if {[have_spec nova]} {
|
|
proc kernel_output { } { return "novga serial logmem" }
|
|
}
|
|
|
|
|
|
##
|
|
## Utilities for querying the ingredients of Sculpt
|
|
##
|
|
|
|
##
|
|
# Return path to the sculpt definition file that contains the list of
|
|
# ingredients
|
|
#
|
|
proc sculpt_path { } {
|
|
|
|
global ::env
|
|
|
|
set filename "default-[board].sculpt"
|
|
if {[info exists ::env(SCULPT)]} {
|
|
set filename "$::env(SCULPT)-[board].sculpt" }
|
|
|
|
return [select_from_repositories [file join sculpt $filename]]
|
|
}
|
|
|
|
|
|
##
|
|
# Return list of ingredients of scenario supplied via the 'SCULPT' argument
|
|
#
|
|
# If 'SCULPT' is not specified, use 'sculpt/default.sculpt'.
|
|
#
|
|
proc sculpt_ingredients { } {
|
|
|
|
global _sculpt_ingredients
|
|
|
|
if {![info exists _sculpt_ingredients]} {
|
|
set fh [open [sculpt_path] "RDONLY"]
|
|
set _sculpt_ingredients [split [read $fh] "\n"]
|
|
close $fh
|
|
}
|
|
|
|
return $_sculpt_ingredients
|
|
}
|
|
|
|
|
|
proc ingredients_of_type { type } {
|
|
|
|
set result {}
|
|
set line 1
|
|
foreach i [sculpt_ingredients] {
|
|
|
|
# skip comment lines
|
|
if {[string match "#*" $i]} {
|
|
continue }
|
|
|
|
# skip empty lines
|
|
if {[string match "" $i]} {
|
|
continue }
|
|
|
|
regexp {^(.*?):\s*(.*)\s*$} $i dummy tag values
|
|
|
|
if {$tag == $type} {
|
|
lappend result {*}$values}
|
|
|
|
incr line
|
|
}
|
|
return $result
|
|
}
|
|
|
|
|
|
proc single_ingredient { type default } {
|
|
|
|
set ingredient [ingredients_of_type $type]
|
|
|
|
if {[llength $ingredient] == 0} {
|
|
return $default }
|
|
|
|
if {[llength $ingredient] > 1} {
|
|
puts stderr "Error: ambigious selection of '$type' in [sculpt_path]"
|
|
exit
|
|
}
|
|
return $ingredient
|
|
}
|
|
|
|
|
|
proc ingredient_path { type ingredient } {
|
|
return [select_from_repositories [file join sculpt $type $ingredient]] }
|
|
|
|
proc initial_config_dir { } {
|
|
return [file join [run_dir] initial_config] }
|
|
|
|
proc initial_config_file { rel_path } {
|
|
return [file join [initial_config_dir] $rel_path] }
|
|
|
|
|
|
##
|
|
## System-image content imported from depot archives
|
|
##
|
|
|
|
create_boot_directory
|
|
|
|
|
|
proc prefixed_with_depot_user { paths } {
|
|
return [lmap path $paths { file join [depot_user] $path }] }
|
|
|
|
|
|
import_from_depot [depot_user]/src/[base_src] \
|
|
[depot_user]/pkg/sculpt \
|
|
{*}[prefixed_with_depot_user [ingredients_of_type import]]
|
|
|
|
|
|
##
|
|
## Static init configuration
|
|
##
|
|
|
|
proc log_route { } {
|
|
|
|
global ::env
|
|
if {[info exists ::env(LOG)]} {
|
|
if {$::env(LOG) == "core"} {
|
|
return {<service name="LOG"> <parent/> </service>} } }
|
|
|
|
return {<service name="LOG"> <child name="log"/> </service>}
|
|
}
|
|
|
|
|
|
proc nic_drv { } {
|
|
|
|
if {[have_board pc]} { return ipxe_nic_drv }
|
|
if {[have_board imx8q_evk]} { return fec_nic_drv }
|
|
if {[have_board mnt_reform2]} { return fec_nic_drv }
|
|
|
|
return nic_unavailable
|
|
}
|
|
|
|
|
|
proc log_core_start_node { } {
|
|
|
|
if {[have_board linux]} return
|
|
|
|
return {
|
|
<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>}
|
|
}
|
|
|
|
|
|
proc log_kernel_start_node { } {
|
|
|
|
if {[have_board linux]} return
|
|
if {[have_board pinephone]} return
|
|
|
|
return {
|
|
<start name="log_kernel">
|
|
<binary name="log_core"/>
|
|
<resource name="RAM" quantum="1M"/>
|
|
<config period_ms="2000"/>
|
|
<route>
|
|
<service name="ROM" label="log"> <parent label="kernel_log"/> </service>
|
|
<service name="Timer"> <child name="timer"/> </service>
|
|
<service name="LOG" label="log"> <child name="log" label="kernel"/> </service>
|
|
<any-service> <parent/> </any-service>
|
|
</route>
|
|
</start>}
|
|
}
|
|
|
|
|
|
install_config {
|
|
<config prio_levels="2">
|
|
<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"/>
|
|
<service name="VM"/>
|
|
</parent-provides>
|
|
|
|
<affinity-space width="2" height="1"/>
|
|
|
|
<default-route>
|
|
<any-service> <parent/> <any-child/> </any-service>
|
|
</default-route>
|
|
|
|
<default caps="100"/>
|
|
|
|
<resource name="RAM" preserve="2M"/>
|
|
|
|
<start name="timer" priority="0">
|
|
<resource name="RAM" quantum="1M"/>
|
|
<resource name="CPU" quantum="5"/>
|
|
<provides><service name="Timer"/></provides>
|
|
</start>
|
|
|
|
<start name="report_rom" priority="0">
|
|
<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="pointer -> hover" report="nitpicker -> hover"/>
|
|
<policy label="pointer -> xray"
|
|
report="global_keys_handler -> leitzentrale"/>
|
|
<policy label="pointer -> shape" report="shape"/>
|
|
<policy label="clipboard -> focus" report="nitpicker -> focus"/>
|
|
<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 -> leitzentrale"
|
|
report="global_keys_handler -> leitzentrale"/>
|
|
<policy label="nit_focus -> slides"
|
|
report="global_keys_handler -> slides"/>
|
|
<policy label="nit_focus -> hover" report="nitpicker -> hover"/>
|
|
<policy label="slides_gui_fb_config -> slides"
|
|
report="global_keys_handler -> slides"/>
|
|
</config>
|
|
</start>
|
|
|
|
<start name="report_logger" priority="0">
|
|
<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" priority="0">
|
|
<binary name="vfs"/>
|
|
<resource name="RAM" quantum="12M"/>
|
|
<provides> <service name="File_system"/> </provides>
|
|
<config>
|
|
<vfs>
|
|
<ram/>
|
|
<import> <tar name="initial_config.tar"/> </import>
|
|
</vfs>
|
|
<policy label="config_fs_rom -> " root="/" />
|
|
<policy label="rw" root="/" writeable="yes" />
|
|
</config>
|
|
</start>
|
|
|
|
<start name="config_fs_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_rom">
|
|
<binary name="fs_rom"/>
|
|
<resource name="RAM" quantum="3M"/>
|
|
<provides> <service name="ROM"/> </provides>
|
|
<route>
|
|
<service name="File_system"> <child name="report_fs"/> </service>
|
|
<any-service> <parent/> </any-service>
|
|
</route>
|
|
</start>
|
|
|
|
<start name="report_fs">
|
|
<binary name="vfs"/>
|
|
<resource name="RAM" quantum="16M"/>
|
|
<provides> <service name="File_system"/> </provides>
|
|
<config>
|
|
<vfs>
|
|
<ram/>
|
|
<import>
|
|
<inline name="log">### start ###</inline>
|
|
<dir name="runtime">
|
|
<inline name="state"><empty/></inline>
|
|
<dir name="wifi_drv">
|
|
<inline name="accesspoints"><empty/></inline>
|
|
<inline name="state"> <empty/></inline>
|
|
</dir>
|
|
<dir name="nic_router"> <inline name="state"> <empty/></inline> </dir>
|
|
<dir name="update"> <inline name="state"> <empty/></inline> </dir>
|
|
<dir name="depot_query"><inline name="blueprint"><empty/></inline> </dir>
|
|
</dir>
|
|
</import>
|
|
</vfs>
|
|
<policy label="fs_report -> " root="/" writeable="yes"/>
|
|
<policy label="log_terminal -> " root="/" writeable="yes"/>
|
|
<policy label="report_fs_rom -> " root="/"/>
|
|
<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>
|
|
|
|
} [log_core_start_node] {
|
|
} [log_kernel_start_node] {
|
|
|
|
<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="4600" priority="-1" managing_system="yes">
|
|
<resource name="RAM" quantum="200M"/>
|
|
<resource name="CPU" quantum="10"/>
|
|
<binary name="init"/>
|
|
<route>
|
|
} [log_route] {
|
|
<service name="ROM" label="config">
|
|
<child name="config_fs_rom" label="drivers"/> </service>
|
|
<service name="ROM" label_last="capslock">
|
|
<child name="report_rom" label="drivers -> capslock"/> </service>
|
|
<service name="ROM" label_last="event_filter.config">
|
|
<child name="config_fs_rom" label="managed/event_filter"/> </service>
|
|
<service name="ROM" label_prefix="event_filter -> keyboard/">
|
|
<child name="config_fs_rom"/> </service>
|
|
<service name="ROM" label_last="fb_drv.config">
|
|
<child name="config_fs_rom" label="managed/fb_drv"/> </service>
|
|
<service name="ROM" label_last="gpu_drv.config">
|
|
<child name="config_fs_rom" label="gpu_drv"/> </service>
|
|
<service name="ROM" label_last="numlock_remap.config">
|
|
<child name="config_fs_rom" label="numlock_remap"/> </service>
|
|
<service name="ROM" label_last="usb_policy">
|
|
<child name="config_fs_rom" label="usb"/> </service>
|
|
<service name="ROM" label_last="system">
|
|
<child name="config_fs_rom" label="system"/> </service>
|
|
<service name="ROM" label_last="numlock"> <child name="report_rom"/> </service>
|
|
<service name="Timer"> <child name="timer"/> </service>
|
|
<service name="Capture"> <child name="nitpicker"/> </service>
|
|
<service name="Event"> <child name="nitpicker"/> </service>
|
|
<service name="Report"> <child name="fs_report"/> </service>
|
|
<any-service> <parent/> </any-service>
|
|
</route>
|
|
<provides>
|
|
<service name="Block"/>
|
|
<service name="Usb"/>
|
|
<service name="Platform"/>
|
|
<service name="Gpu"/>
|
|
</provides>
|
|
</start>
|
|
|
|
<start name="nitpicker" caps="1000" priority="0">
|
|
<resource name="RAM" quantum="12M"/>
|
|
<resource name="CPU" quantum="10"/>
|
|
<provides>
|
|
<service name="Gui"/> <service name="Capture"/> <service name="Event"/>
|
|
</provides>
|
|
<route>
|
|
<service name="ROM" label="config">
|
|
<child name="config_fs_rom" label="nitpicker"/> </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="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="lockscreen_enabled" rom="hover" node="hover">
|
|
<attribute name="label" /> </input>
|
|
<input name="leitzentrale_enabled" rom="leitzentrale" node="leitzentrale">
|
|
<attribute name="enabled" /> </input>
|
|
<input name="slides_enabled" rom="slides" node="slides">
|
|
<attribute name="enabled" /> </input>
|
|
<output node="focus">
|
|
<if>
|
|
<has_value input="lockscreen_enabled" value="lock_screen" />
|
|
<then>
|
|
<attribute name="label" value="lock_screen"/>
|
|
</then>
|
|
<else>
|
|
<if>
|
|
<has_value input="leitzentrale_enabled" value="yes" />
|
|
<then>
|
|
<attribute name="label" value="leitzentrale -> manager -> fader -> "/>
|
|
</then>
|
|
<else>
|
|
<if>
|
|
<has_value input="slides_enabled" value="yes" />
|
|
<then>
|
|
<attribute name="label" value="slides"/>
|
|
</then>
|
|
<else>
|
|
<attribute name="label" value="runtime -> focus"/>
|
|
</else>
|
|
</if>
|
|
</else>
|
|
</if>
|
|
</else>
|
|
</if>
|
|
</output>
|
|
</config>
|
|
<route>
|
|
<service name="ROM" label="hover"> <child name="report_rom"/> </service>
|
|
<service name="ROM" label="leitzentrale"> <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="Gui"> <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"/>
|
|
<route>
|
|
<service name="Report"> <child name="report_rom"/> </service>
|
|
<service name="Gui"> <child name="nitpicker"/> </service>
|
|
<service name="Timer"> <child name="timer"/> </service>
|
|
<service name="ROM" label="config">
|
|
<child name="config_fs_rom" label="global_keys"/> </service>
|
|
<any-service> <parent/> </any-service>
|
|
</route>
|
|
</start>
|
|
|
|
<start name="leitzentrale_config" priority="-1">
|
|
<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="config">
|
|
<child name="config_fs_rom" label="leitzentrale"/> </service>
|
|
<any-service> <parent/> </any-service>
|
|
</route>
|
|
</start>
|
|
|
|
<start name="clipboard" priority="-1">
|
|
<resource name="RAM" quantum="2M"/>
|
|
<provides>
|
|
<service name="ROM"/> <service name="Report"/>
|
|
</provides>
|
|
<route>
|
|
<service name="ROM" label="config">
|
|
<child name="config_fs_rom" label="clipboard"/> </service>
|
|
<service name="ROM" label="focus"> <child name="report_rom"/> </service>
|
|
<any-service> <parent/> <any-child/> </any-service>
|
|
</route>
|
|
</start>
|
|
|
|
<start name="leitzentrale" caps="2350" priority="-1">
|
|
<binary name="init"/>
|
|
<resource name="RAM" quantum="130M"/>
|
|
<resource name="CPU" quantum="35"/>
|
|
<affinity xpos="1" width="1"/> <!-- decouple leitzentrale from boot CPU -->
|
|
<provides>
|
|
<service name="Gui"/>
|
|
<service name="Capture"/>
|
|
<service name="Event"/>
|
|
<service name="File_system"/> <!-- fonts -->
|
|
<service name="ROM"/> <!-- view dialog ROMs -->
|
|
<service name="Report"/> <!-- view hover reports -->
|
|
</provides>
|
|
<route>
|
|
} [log_route] {
|
|
<service name="ROM" label="config">
|
|
<child name="leitzentrale_config"/> </service>
|
|
<service name="ROM" label_prefix="report -> ">
|
|
<child name="report_fs_rom"/> </service>
|
|
<service name="ROM" label_prefix="manager -> report -> ">
|
|
<child name="report_fs_rom"/> </service>
|
|
<service name="ROM" label_prefix="manager -> config -> ">
|
|
<child name="config_fs_rom"/> </service>
|
|
<service name="ROM" label_prefix="config -> ">
|
|
<child name="config_fs_rom"/> </service>
|
|
<service name="ROM" label="manager -> nitpicker_hover">
|
|
<child name="report_rom"/> </service>
|
|
<service name="Report"> <child name="fs_report"/> </service>
|
|
<service name="Gui"> <child name="nitpicker"/> </service>
|
|
<service name="Timer"> <child name="timer"/> </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="report">
|
|
<child name="report_fs" label="ro"/> </service>
|
|
<any-service> <parent/> </any-service>
|
|
</route>
|
|
</start>
|
|
|
|
<start name="runtime" caps="50000" priority="-1">
|
|
<binary name="init"/>
|
|
<resource name="RAM" quantum="32G"/>
|
|
<resource name="CPU" quantum="40"/>
|
|
<route>
|
|
<service name="ROM" label="config">
|
|
<child name="config_fs_rom" label="managed/runtime"/> </service>
|
|
<service name="ROM" label_prefix="config -> ">
|
|
<child name="config_fs_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="Gui" label_prefix="leitzentrale">
|
|
<child name="leitzentrale"/> </service>
|
|
<service name="Gui" label="backdrop">
|
|
<child name="nitpicker" label="backdrop"/> </service>
|
|
<service name="Gui" label="lock_screen">
|
|
<child name="nitpicker" label="lock_screen"/> </service>
|
|
<service name="Gui"> <child name="nitpicker"/> </service>
|
|
<service name="Gpu"> <child name="drivers"/> </service>
|
|
<service name="Timer"> <child name="timer"/> </service>
|
|
<service name="Report" label_suffix="-> shape"> <child name="pointer"/> </service>
|
|
<service name="Report" label="inspect -> clipboard">
|
|
<child name="clipboard" label="leitzentrale -> manager -> fader -> -> clipboard"/> </service>
|
|
<service name="Report" label="editor -> clipboard">
|
|
<child name="clipboard" label="leitzentrale -> manager -> fader -> -> clipboard"/> </service>
|
|
<service name="ROM" label="inspect -> clipboard">
|
|
<child name="clipboard" label="leitzentrale -> manager -> fader -> -> clipboard"/> </service>
|
|
<service name="ROM" label="editor -> clipboard">
|
|
<child name="clipboard" label="leitzentrale -> manager -> fader -> -> clipboard"/> </service>
|
|
<service name="Report" label_suffix="-> clipboard"> <child name="clipboard"/> </service>
|
|
<service name="ROM" label_suffix="-> clipboard"> <child name="clipboard"/> </service>
|
|
<service name="Report" label_prefix="leitzentrale ->">
|
|
<child name="leitzentrale"/> </service>
|
|
<service name="ROM" label_prefix="leitzentrale ->">
|
|
<child name="leitzentrale"/> </service>
|
|
<service name="File_system" label="leitzentrale -> fonts">
|
|
<child name="leitzentrale" label="fonts"/> </service>
|
|
<service name="Report"> <child name="fs_report"/> </service>
|
|
<service name="LOG" label="unlogged"> <parent/> </service>
|
|
} [log_route] {
|
|
<service name="ROM" label="nic_drv"> <parent label="} [nic_drv] {"/> </service>
|
|
<service name="Event" label="global"> <child name="nitpicker"/> </service>
|
|
<service name="Event" label="leitzentrale"> <child name="leitzentrale"/> </service>
|
|
<service name="Capture" label="global"> <child name="nitpicker"/> </service>
|
|
<service name="Capture" label="leitzentrale"> <child name="leitzentrale"/> </service>
|
|
<any-service> <parent/> </any-service>
|
|
</route>
|
|
</start>
|
|
|
|
</config>}
|
|
|
|
|
|
##
|
|
## Initial content of the config file system
|
|
##
|
|
|
|
#
|
|
# The directory structure for the initial content is created at the run
|
|
# directory, which is imported as 'initial_config.tar' into the config fs.
|
|
#
|
|
|
|
# directory structure
|
|
foreach subdir { launcher depot managed keyboard } {
|
|
file mkdir [file join [initial_config_dir] $subdir] }
|
|
|
|
# configs that are managed by the sculpt manager if absent
|
|
set optional_configs {
|
|
fonts
|
|
nic_router
|
|
event_filter
|
|
wifi
|
|
runtime
|
|
gpu_drv
|
|
}
|
|
|
|
foreach config $optional_configs {
|
|
set ingredient [single_ingredient $config ""]
|
|
if {$ingredient != ""} {
|
|
set from [ingredient_path $config $ingredient]
|
|
set to [initial_config_file $config]
|
|
copy_file $from $to } }
|
|
|
|
# configs that are expected to be always present
|
|
set required_configs {
|
|
nitpicker
|
|
deploy
|
|
fb_drv
|
|
clipboard
|
|
drivers
|
|
numlock_remap
|
|
global_keys
|
|
leitzentrale
|
|
usb
|
|
system
|
|
ram_fs
|
|
}
|
|
|
|
foreach config $required_configs {
|
|
set ingredient [single_ingredient $config "default"]
|
|
set from [ingredient_path $config $ingredient]
|
|
set to [initial_config_file $config]
|
|
check_xml_syntax $from
|
|
copy_file $from $to
|
|
}
|
|
|
|
# selection of depot users (pubkey and download files) and launchers
|
|
foreach ingredient [ingredients_of_type launcher] {
|
|
check_xml_syntax [ingredient_path launcher $ingredient] }
|
|
|
|
foreach type { depot launcher } {
|
|
foreach ingredient [ingredients_of_type $type] {
|
|
set from [ingredient_path $type $ingredient]
|
|
set to [file join [initial_config_dir] $type $ingredient]
|
|
file copy $from $to } }
|
|
|
|
copy_file [genode_dir]/repos/gems/recipes/pkg/sculpt/README [initial_config_file README]
|
|
copy_file [genode_dir]/repos/gems/run/sculpt/vimrc [initial_config_file vimrc]
|
|
|
|
# keyboard layouts
|
|
foreach file { en_us de_ch de_de fr_ch fr_fr special } {
|
|
set from [genode_dir]/repos/os/src/server/event_filter/$file.chargen
|
|
set to [file join [initial_config_dir] keyboard $file]
|
|
check_xml_syntax $from
|
|
copy_file $from $to }
|
|
|
|
|
|
#
|
|
# Pre-populate the managed/ directory of the config fs to avoid diagnostic
|
|
# warnings by components starting up before the sculpt manager has generated
|
|
# the directory content for the first time.
|
|
#
|
|
|
|
proc managed_config_path { name } {
|
|
return [file join [initial_config_dir] managed $name] }
|
|
|
|
set fd [open [managed_config_path installation] w]
|
|
puts $fd "<installation arch=\"[depot_spec]\"/>"
|
|
close $fd
|
|
|
|
set fd [open [managed_config_path depot_query] w]
|
|
puts $fd "<query/>"
|
|
close $fd
|
|
|
|
foreach config { fonts wifi runtime event_filter } {
|
|
set from [ingredient_path $config default]
|
|
check_xml_syntax $from
|
|
file copy $from [managed_config_path $config] }
|
|
|
|
copy_file [file join [initial_config_dir] fb_drv] [managed_config_path fb_drv]
|
|
|
|
|
|
#
|
|
# VERSION file at the root of the config fs, add newline for 'cat /VERSION'
|
|
#
|
|
|
|
set fd [open [initial_config_file VERSION] w]
|
|
puts $fd "[sculpt_version]"
|
|
close $fd
|
|
|
|
# supply VERSION as a boot module to the sculpt manager
|
|
file copy [initial_config_file VERSION] [run_dir]/genode/VERSION
|
|
|
|
|
|
##
|
|
# Return list of 'pkg' attribute values found in 'type' nodes in an XML file
|
|
#
|
|
proc pkg_attribute_values { xml_file node_path } {
|
|
|
|
set xpath "$node_path/attribute::pkg"
|
|
set values {}
|
|
|
|
if {[catch {
|
|
foreach attr [exec xmllint --xpath $xpath $xml_file] {
|
|
regexp {^pkg="(.*)"$} $attr dummy value
|
|
lappend values $value
|
|
}
|
|
}]} {
|
|
# no pkg attribute present in 'xml_file'
|
|
}
|
|
return $values
|
|
}
|
|
|
|
|
|
##
|
|
# Return list of pkg archives reference by the launchers and deploy config
|
|
#
|
|
proc referenced_pkg_values { } {
|
|
|
|
set values {}
|
|
|
|
# scan launchers
|
|
foreach launcher [ingredients_of_type launcher] {
|
|
set path [file join [initial_config_dir] launcher $launcher]
|
|
lappend values {*}[pkg_attribute_values $path launcher]
|
|
}
|
|
|
|
# scan deploy config
|
|
lappend values {*}[pkg_attribute_values [initial_config_file deploy] config/start]
|
|
|
|
return [lsort -unique $values]
|
|
}
|
|
|
|
|
|
#
|
|
# Replace pkg values of the form "name" by the form "user/pkg/name" suitable as
|
|
# arguments for '_collect_from_depot'.
|
|
#
|
|
proc pkg_archive_paths { values } {
|
|
|
|
set result {}
|
|
foreach value $values {
|
|
if {[regexp {/} $value dummy]} {
|
|
lappend result $value
|
|
} else {
|
|
lappend result "[depot_user]/pkg/$value"
|
|
}
|
|
}
|
|
return $result
|
|
}
|
|
|
|
|
|
#
|
|
# Trigger the creation / updating of referenced depot content
|
|
#
|
|
# This step may update pkg versions if '--depot-auto-update' is enabled.
|
|
#
|
|
_collect_from_depot [pkg_archive_paths [referenced_pkg_values]]
|
|
|
|
|
|
#
|
|
# Augment deploy config or launcher file with current package versions
|
|
#
|
|
|
|
proc current_pkg { pkg } { return $pkg/[_current_depot_archive_version pkg $pkg] }
|
|
|
|
|
|
#
|
|
# Supplement file with versioned pkg archive paths
|
|
#
|
|
# \path deploy config or launcher to augment
|
|
# \node XML node type containing the 'pkg' attribute to modify
|
|
#
|
|
# Each matching XML node is inspected regarding its 'pkg' attribute. If its
|
|
# 'pkg' attribute contains a single identifier (rather than a valid pkg path),
|
|
# the attribute value is replaced by a valid pkg path referring to the current
|
|
# version of the pkg and the [depot_user].
|
|
#
|
|
proc augment_pkg_versions { path node } {
|
|
|
|
set fd [open $path r]
|
|
set content [read $fd]
|
|
close $fd
|
|
|
|
# filter 'pkg' attribute
|
|
set pattern "(\<$node\[^\>\]+?pkg=\")(\[^/\]+)(\")"
|
|
while {[regexp $pattern $content dummy head pkg tail]} {
|
|
set pkg_path [depot_user]/pkg/[current_pkg $pkg]
|
|
regsub $pattern $content "$head$pkg_path$tail" content
|
|
}
|
|
|
|
# write back the filtered launcher snippet
|
|
set fd [open $path w]
|
|
puts $fd $content
|
|
close $fd
|
|
}
|
|
|
|
|
|
# launcher snippets
|
|
foreach launcher [ingredients_of_type launcher] {
|
|
augment_pkg_versions [file join [initial_config_dir] launcher $launcher] "launcher" }
|
|
|
|
|
|
# deploy config
|
|
augment_pkg_versions [initial_config_file deploy] "start"
|
|
|
|
|
|
# update arch attribute of deploy config
|
|
exec sed -i "/config/s/arch=\"\"/arch=\"[depot_spec]\"/" [initial_config_file deploy]
|
|
|
|
|
|
##
|
|
## Depot content integrated in the Sculpt image
|
|
##
|
|
|
|
create_tar_from_depot_binaries [run_dir]/genode/depot.tar \
|
|
{*}[pkg_archive_paths [referenced_pkg_values]]
|
|
|
|
|
|
#
|
|
# Create initial_config.tar to be mounted at the root of the config fs
|
|
#
|
|
|
|
exec sh -c "tar cf [run_dir]/genode/initial_config.tar -C [initial_config_dir] ."
|
|
|
|
file delete -force [initial_config_dir]
|
|
|
|
|
|
##
|
|
## Auxiliary boot modules
|
|
##
|
|
|
|
#
|
|
# Linux-specific tweaks
|
|
#
|
|
if {[have_board linux]} {
|
|
|
|
#
|
|
# The Linux version of core does not export a platform_info ROM module.
|
|
#
|
|
install_boot_module "platform_info" {<platform/>}
|
|
|
|
#
|
|
# Managed dataspaces as used by cached_fs_rom are not supported on Linux.
|
|
#
|
|
copy_file [run_dir]/genode/fs_rom [run_dir]/genode/cached_fs_rom
|
|
}
|
|
|
|
|
|
# support for the Leitzentrale GUI
|
|
copy_file [genode_dir]/repos/gems/src/app/backdrop/genode_logo.png [run_dir]/genode/
|
|
copy_file [genode_dir]/repos/gems/run/sculpt/drop_shadow.png [run_dir]/genode/
|
|
|
|
|
|
#
|
|
# Generate depot index from gems/run/sculpt/index
|
|
#
|
|
|
|
set fd [open [genode_dir]/repos/gems/run/sculpt/index r]
|
|
set pkg_index [read $fd]
|
|
close $fd
|
|
|
|
# filter 'pkg' attribute
|
|
set pattern {(\<pkg[^\>]+?path=")([^/]+)(")}
|
|
while {[regexp $pattern $pkg_index dummy head pkg tail]} {
|
|
set pkg_path [depot_user]/pkg/[current_pkg $pkg]
|
|
regsub $pattern $pkg_index "$head$pkg_path$tail" pkg_index
|
|
}
|
|
|
|
# write filtered pkg index into the depot
|
|
file mkdir [depot_dir]/[depot_user]/index
|
|
set fd [open [depot_dir]/[depot_user]/index/[sculpt_version] w]
|
|
puts $fd $pkg_index
|
|
close $fd
|
|
|
|
|
|
##
|
|
## Create boot image
|
|
##
|
|
|
|
build [ingredients_of_type build]
|
|
|
|
append boot_modules [build_artifacts]
|
|
|
|
build_boot_image $boot_modules
|