mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-12 07:24:07 +00:00
9bceec4394
This patch adjusts the run script in two ways: It removes the reliance on init's formerly built-in resource-request handling by increasing the RAM quota for the backdrop instances. Since commit "init: explicit response to resource requests", init no longer hands out slack memory automatically. Second, it makes sure that the backdrop appears under the precise label "backdrop" at nitpicker by facilitating init's label-rewriting feature. Without explicitly setting the label to "backdrop", nitpicker observes the label "backdrop -> backdrop" (the first part comes from init, the second part comes from the nitpicker-session argument specified by backdrop itself). However, the client is only considered as default background if labeled as "backdrop" (see nitpicker's '_create_session') implementation. Issue #2352
285 lines
8.1 KiB
Plaintext
285 lines
8.1 KiB
Plaintext
#
|
|
# Build
|
|
#
|
|
|
|
if {[have_spec odroid_xu]} {
|
|
puts "Run script not supported on this platform."; exit 0 }
|
|
|
|
set build_components {
|
|
core init
|
|
drivers/timer
|
|
server/wm app/decorator app/floating_window_layouter
|
|
server/nitpicker app/pointer server/report_rom
|
|
drivers/framebuffer drivers/input
|
|
test/nitpicker
|
|
app/backdrop
|
|
app/launchpad
|
|
server/nit_fb
|
|
}
|
|
|
|
source ${genode_dir}/repos/base/run/platform_drv.inc
|
|
|
|
lappend_if [need_usb_hid] build_components drivers/usb
|
|
lappend_if [have_spec gpio] build_components drivers/gpio
|
|
|
|
proc gpio_drv { } { if {[have_spec rpi] && [have_spec hw]} { return hw_gpio_drv }
|
|
if {[have_spec rpi] && [have_spec foc]} { return foc_gpio_drv }
|
|
return gpio_drv }
|
|
|
|
append_platform_drv_build_components
|
|
|
|
build $build_components
|
|
|
|
create_boot_directory
|
|
|
|
#
|
|
# Generate config
|
|
#
|
|
|
|
append config {
|
|
<config prio_levels="2">
|
|
<parent-provides>
|
|
<service name="ROM"/>
|
|
<service name="RAM"/>
|
|
<service name="IRQ"/>
|
|
<service name="IO_MEM"/>
|
|
<service name="IO_PORT"/>
|
|
<service name="PD"/>
|
|
<service name="RM"/>
|
|
<service name="CPU"/>
|
|
<service name="LOG"/>
|
|
</parent-provides>
|
|
<default-route>
|
|
<any-service> <parent/> <any-child/> </any-service>
|
|
</default-route>}
|
|
|
|
append_if [have_spec sdl] config {
|
|
<start name="fb_sdl">
|
|
<resource name="RAM" quantum="4M"/>
|
|
<provides>
|
|
<service name="Input"/>
|
|
<service name="Framebuffer"/>
|
|
</provides>
|
|
</start>}
|
|
|
|
append_platform_drv_config
|
|
|
|
append_if [have_spec framebuffer] config {
|
|
<start name="fb_drv">
|
|
<resource name="RAM" quantum="4M"/>
|
|
<provides><service name="Framebuffer"/></provides>
|
|
</start>}
|
|
|
|
append_if [have_spec gpio] config "
|
|
<start name=\"[gpio_drv]\">
|
|
<resource name=\"RAM\" quantum=\"4M\"/>
|
|
<provides><service name=\"Gpio\"/></provides>
|
|
<config/>
|
|
</start>"
|
|
|
|
append_if [have_spec imx53] config {
|
|
<start name="input_drv">
|
|
<resource name="RAM" quantum="1M"/>
|
|
<provides><service name="Input"/></provides>
|
|
<config/>
|
|
</start> }
|
|
|
|
append_if [have_spec ps2] config {
|
|
<start name="ps2_drv">
|
|
<resource name="RAM" quantum="1M"/>
|
|
<provides><service name="Input"/></provides>
|
|
</start>}
|
|
|
|
append_if [need_usb_hid] config {
|
|
<start name="usb_drv">
|
|
<resource name="RAM" quantum="12M"/>
|
|
<provides><service name="Input"/></provides>
|
|
<config ehci="yes" uhci="yes" xhci="no"> <hid/> </config>
|
|
</start> }
|
|
|
|
append config {
|
|
<start name="timer">
|
|
<resource name="RAM" quantum="1M"/>
|
|
<provides><service name="Timer"/></provides>
|
|
</start>
|
|
<start name="nitpicker">
|
|
<resource name="RAM" quantum="4M"/>
|
|
<provides><service name="Nitpicker"/></provides>
|
|
<config>
|
|
<domain name="pointer" layer="1" content="client" label="no" origin="pointer" />
|
|
<domain name="default" layer="2" content="client" label="no" hover="always" focus="click" />
|
|
|
|
<policy label_prefix="pointer" domain="pointer"/>
|
|
<default-policy domain="default"/>
|
|
</config>
|
|
</start>
|
|
<start name="pointer">
|
|
<resource name="RAM" quantum="1M"/>
|
|
<route>
|
|
<service name="Nitpicker"> <child name="nitpicker"/> </service>
|
|
<any-service> <parent/> <any-child/> </any-service>
|
|
</route>
|
|
</start>
|
|
<start name="report_rom">
|
|
<resource name="RAM" quantum="4M"/>
|
|
<provides>
|
|
<service name="Report"/>
|
|
<service name="ROM"/>
|
|
</provides>
|
|
<config>
|
|
<policy label="layouter -> window_list" report="wm -> window_list"/>
|
|
<policy label="layouter -> focus_request" report="wm -> focus_request"/>
|
|
<policy label="decorator -> window_layout" report="layouter -> window_layout"/>
|
|
<policy label="wm -> resize_request" report="layouter -> resize_request"/>
|
|
<policy label="decorator -> pointer" report="wm -> pointer"/>
|
|
<policy label="layouter -> hover" report="decorator -> hover"/>
|
|
<policy label="layouter -> decorator_margins" report="decorator -> decorator_margins"/>
|
|
<policy label="wm -> focus" report="layouter -> focus"/>
|
|
</config>
|
|
</start>
|
|
<start name="wm" priority="-1">
|
|
<resource name="RAM" quantum="6M"/>
|
|
<provides>
|
|
<service name="Nitpicker"/>
|
|
</provides>
|
|
<config>
|
|
<policy label_prefix="decorator" role="decorator"/>
|
|
<policy label_prefix="layouter" role="layouter"/>
|
|
</config>
|
|
<route>
|
|
<service name="ROM" label="resize_request"> <child name="report_rom"/> </service>
|
|
<service name="ROM" label="focus"> <child name="report_rom"/> </service>
|
|
<service name="Report"> <child name="report_rom"/> </service>
|
|
<any-service>
|
|
<child name="nitpicker"/> <parent/> <any-child/>
|
|
</any-service>
|
|
</route>
|
|
</start>
|
|
<start name="layouter" priority="-1">
|
|
<binary name="floating_window_layouter"/>
|
|
<resource name="RAM" quantum="4M"/>
|
|
<route>
|
|
<service name="ROM" label="window_list"> <child name="report_rom"/> </service>
|
|
<service name="ROM" label="focus_request"> <child name="report_rom"/> </service>
|
|
<service name="ROM" label="hover"> <child name="report_rom"/> </service>
|
|
<service name="ROM" label="decorator_margins"> <child name="report_rom"/> </service>
|
|
<service name="Report"> <child name="report_rom"/> </service>
|
|
<any-service>
|
|
<child name="wm"/> <parent/> <any-child/>
|
|
</any-service>
|
|
</route>
|
|
</start>
|
|
<start name="decorator" priority="-1">
|
|
<binary name="decorator"/>
|
|
<resource name="RAM" quantum="8M"/>
|
|
<config>
|
|
<controls> <maximizer/> <title/> </controls>
|
|
</config>
|
|
<route>
|
|
<service name="ROM" label="window_layout">
|
|
<child name="report_rom"/> </service>
|
|
<service name="ROM" label="pointer">
|
|
<child name="report_rom"/> </service>
|
|
<service name="Report"> <child name="report_rom"/> </service>
|
|
<any-service>
|
|
<child name="wm"/> <parent/> <any-child/>
|
|
</any-service>
|
|
</route>
|
|
</start>
|
|
<start name="launchpad" priority="-1">
|
|
<resource name="RAM" quantum="20M"/>
|
|
<config>
|
|
<launcher name="nit_fb" ram_quota="7M">
|
|
<config width="500" height="400" />
|
|
</launcher>
|
|
<launcher name="nitpicker" ram_quota="1M" >
|
|
<config>
|
|
<domain name="default" layer="2" />
|
|
<default-policy domain="default"/>
|
|
</config>
|
|
</launcher>
|
|
<launcher name="testnit" ram_quota="768K" />
|
|
</config>
|
|
<route>
|
|
<any-service> <child name="wm"/> <parent/> <any-child/>
|
|
</any-service>
|
|
</route>
|
|
</start>
|
|
<start name="backdrop" priority="-1">
|
|
<resource name="RAM" quantum="24M"/>
|
|
<config>
|
|
<libc/>
|
|
<vfs>
|
|
<rom name="genode_logo.png"/>
|
|
<rom name="grid.png"/>
|
|
</vfs>
|
|
<fill color="#224433" />
|
|
<image png="grid.png" tiled="yes" alpha="200" />
|
|
<image png="genode_logo.png" anchor="bottom_right" alpha="150"
|
|
xpos="-20" ypos="-20" />
|
|
</config>
|
|
<route>
|
|
<any-service> <child name="nitpicker" label="backdrop"/> <parent/> <any-child/>
|
|
</any-service>
|
|
</route>
|
|
</start>
|
|
<start name="wm_backdrop" priority="-1">
|
|
<binary name="backdrop" />
|
|
<resource name="RAM" quantum="24M"/>
|
|
<config>
|
|
<libc/>
|
|
<vfs>
|
|
<rom name="genode_logo.png"/>
|
|
</vfs>
|
|
<fill color="#664455" />
|
|
<image png="genode_logo.png" scale="zoom" alpha="150" />
|
|
<image png="genode_logo.png" scale="fit" alpha="150" tiled="yes" />
|
|
<image png="genode_logo.png" />
|
|
</config>
|
|
<route>
|
|
<any-service> <child name="wm"/> <parent/> <any-child/>
|
|
</any-service>
|
|
</route>
|
|
</start>
|
|
</config>}
|
|
|
|
install_config $config
|
|
|
|
# copy backdrop PNG images to bin directory
|
|
foreach file { genode_logo.png grid.png } {
|
|
file copy -force [genode_dir]/repos/gems/src/app/backdrop/$file bin/ }
|
|
|
|
|
|
#
|
|
# Boot modules
|
|
#
|
|
|
|
# generic modules
|
|
set boot_modules {
|
|
core ld.lib.so init
|
|
timer
|
|
wm decorator
|
|
floating_window_layouter
|
|
nitpicker pointer report_rom
|
|
backdrop
|
|
testnit launchpad nit_fb
|
|
libpng.lib.so libc.lib.so libm.lib.so zlib.lib.so
|
|
genode_logo.png grid.png
|
|
}
|
|
|
|
# platform-specific modules
|
|
append_platform_drv_boot_modules
|
|
|
|
lappend_if [have_spec linux] boot_modules fb_sdl
|
|
lappend_if [have_spec ps2] boot_modules ps2_drv
|
|
lappend_if [have_spec framebuffer] boot_modules fb_drv
|
|
lappend_if [need_usb_hid] boot_modules usb_drv
|
|
lappend_if [have_spec gpio] boot_modules [gpio_drv]
|
|
lappend_if [have_spec imx53] boot_modules input_drv
|
|
|
|
build_boot_image $boot_modules
|
|
|
|
append qemu_args " -m 256 "
|
|
|
|
run_genode_until forever
|