mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 21:57:55 +00:00
4b46abf813
This patch removes the detection of statically linked executables from
the base framework. It thereby fixes the corner cases encountered with
Sculpt when obtaining the binaries of the runtime from the depot_rom
service that is hosted within the runtime.
Statically linked binaries and hybrid Linux/Genode (lx_hybrid) binaries
can still be started by relabeling the ROM-session route of "ld.lib.so"
to the binary name, pretending that the binary is the dynamic linker.
This can be achieved via init's label rewriting mechanism:
<route>
<service name="ROM" unscoped_label="ld.lib.so">
<parent label="test-platform"/> </service>
</route>
However, as this is quite cryptic and would need to be applied for all
lx_hybrid components, the patch adds a shortcut to init's configuration.
One can simply add the 'ld="no"' attribute to the <start> node of the
corresponding component:
<start name="test-platform" ld="no"/>
Fixes #2866
336 lines
12 KiB
Plaintext
336 lines
12 KiB
Plaintext
create_boot_directory
|
|
|
|
proc depot_user {} { return [get_cmd_arg --depot-user genodelabs] }
|
|
|
|
import_from_depot [depot_user]/src/[base_src] \
|
|
[depot_user]/pkg/[drivers_interactive_pkg] \
|
|
[depot_user]/pkg/fonts_fs \
|
|
[depot_user]/src/dynamic_rom \
|
|
[depot_user]/src/report_rom \
|
|
[depot_user]/src/fs_rom \
|
|
[depot_user]/src/fs_report \
|
|
[depot_user]/src/ram_fs \
|
|
[depot_user]/src/nitpicker \
|
|
[depot_user]/src/init \
|
|
[depot_user]/src/libc \
|
|
[depot_user]/src/wm \
|
|
[depot_user]/src/themed_decorator \
|
|
[depot_user]/src/nit_fb \
|
|
[depot_user]/src/nit_fader \
|
|
[depot_user]/src/libpng \
|
|
[depot_user]/src/zlib \
|
|
[depot_user]/src/menu_view \
|
|
[depot_user]/src/rom_filter \
|
|
[depot_user]/src/noux \
|
|
[depot_user]/src/terminal \
|
|
[depot_user]/src/posix \
|
|
[depot_user]/src/ram_blk \
|
|
[depot_user]/src/part_blk \
|
|
[depot_user]/src/rump \
|
|
[depot_user]/src/ncurses \
|
|
[depot_user]/src/usb_block_drv \
|
|
[depot_user]/src/bash-minimal \
|
|
[depot_user]/src/vim-minimal \
|
|
[depot_user]/src/coreutils-minimal \
|
|
[depot_user]/src/e2fsprogs-minimal \
|
|
[depot_user]/src/gpt_write \
|
|
[depot_user]/src/floating_window_layouter
|
|
|
|
install_config {
|
|
<config>
|
|
<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"/>
|
|
</parent-provides>
|
|
|
|
<resource name="RAM" preserve="2M"/>
|
|
|
|
<default-route>
|
|
<any-service> <parent/> <any-child/> </any-service>
|
|
</default-route>
|
|
<default caps="100"/>
|
|
|
|
<start name="timer">
|
|
<resource name="RAM" quantum="1M"/>
|
|
<provides> <service name="Timer"/> </provides>
|
|
</start>
|
|
|
|
<start name="drivers" caps="1000">
|
|
<resource name="RAM" quantum="32M" constrain_phys="yes"/>
|
|
<binary name="init"/>
|
|
<route>
|
|
<service name="ROM" label="config"> <parent label="drivers.config"/> </service>
|
|
<service name="Timer"> <child name="timer"/> </service>
|
|
<any-service> <parent/> </any-service>
|
|
</route>
|
|
<provides>
|
|
<service name="Input"/> <service name="Framebuffer"/>
|
|
</provides>
|
|
</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 -> manager -> nitpicker_hover"
|
|
report="nitpicker -> hover"/>
|
|
<policy label="leitzentrale -> manager -> displays"
|
|
report="nitpicker -> displays"/>
|
|
</config>
|
|
</start>
|
|
|
|
<start name="nitpicker">
|
|
<resource name="RAM" quantum="4M"/>
|
|
<provides><service name="Nitpicker"/></provides>
|
|
<config focus="rom">
|
|
<report hover="yes" displays="yes"/>
|
|
<background color="#000000"/>
|
|
<domain name="pointer" layer="1" content="client" label="no" origin="pointer" />
|
|
<domain name="default" layer="3" content="client" label="no" hover="always" />
|
|
|
|
<policy label_prefix="pointer" domain="pointer"/>
|
|
<default-policy domain="default"/>
|
|
</config>
|
|
<route>
|
|
<service name="Report"> <child name="report_rom"/> </service>
|
|
<any-service> <parent/> <any-child/></any-service>
|
|
</route>
|
|
</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="config_fs">
|
|
<binary name="ram_fs"/>
|
|
<resource name="RAM" quantum="4M"/>
|
|
<provides> <service name="File_system"/> </provides>
|
|
<config>
|
|
<content>
|
|
<dir name="managed">
|
|
<rom name="fonts.config" as="fonts"/>
|
|
<inline name="runtime"><config/></inline>
|
|
<inline name="depot_query"><query/></inline>
|
|
</dir>
|
|
<inline name="deploy"></inline>
|
|
</content>
|
|
<default-policy root="/" writeable="yes"/>
|
|
</config>
|
|
</start>
|
|
|
|
<start name="config_rom">
|
|
<resource name="RAM" quantum="1M"/>
|
|
<binary name="fs_rom"/>
|
|
<provides> <service name="ROM"/> </provides>
|
|
<config/>
|
|
<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="4M"/>
|
|
<provides> <service name="File_system"/> </provides>
|
|
<config>
|
|
<default-policy root="/" writeable="yes"/>
|
|
</config>
|
|
</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="report_fs_rom">
|
|
<resource name="RAM" quantum="1M"/>
|
|
<binary name="fs_rom"/>
|
|
<provides> <service name="ROM"/> </provides>
|
|
<config/>
|
|
<route>
|
|
<service name="File_system"> <child name="report_fs"/> </service>
|
|
<any-service> <parent/> </any-service>
|
|
</route>
|
|
</start>
|
|
|
|
<start name="leitzentrale_config">
|
|
<binary name="rom_filter"/>
|
|
<resource name="RAM" quantum="1M"/>
|
|
<provides><service name="ROM"/></provides>
|
|
<route>
|
|
<service name="ROM" label="config">
|
|
<parent label="leitzentrale.config"/> </service>
|
|
<any-service> <parent/> </any-service>
|
|
</route>
|
|
</start>
|
|
|
|
<start name="usb_active_config_rom">
|
|
<binary name="dynamic_rom"/>
|
|
<resource name="RAM" quantum="4M"/>
|
|
<provides> <service name="ROM"/> </provides>
|
|
<config>
|
|
<rom name="usb_active_config">
|
|
<inline description="USB storage present">
|
|
<config>
|
|
<raw> <policy label_suffix="usb-1-2" class="storage"/> </raw>
|
|
</config>
|
|
</inline>
|
|
<sleep milliseconds="5000" />
|
|
<inline description="USB storage absent">
|
|
<config/>
|
|
</inline>
|
|
<sleep milliseconds="500000" />
|
|
</rom>
|
|
</config>
|
|
</start>
|
|
|
|
<start name="ahci-1">
|
|
<binary name="lx_block" ld="no"/>
|
|
<resource name="RAM" quantum="2M"/>
|
|
<provides> <service name="Block"/> </provides>
|
|
<config file="ahci-1.img" block_size="512" writeable="yes"/>
|
|
</start>
|
|
|
|
<start name="ahci-2">
|
|
<binary name="ram_blk"/>
|
|
<resource name="RAM" quantum="10M"/>
|
|
<config nofile="ahci-1.img" size="8M" block_size="512"/>
|
|
<provides> <service name="Block"/> </provides>
|
|
</start>
|
|
|
|
<start name="leitzentrale" caps="4000">
|
|
<binary name="init"/>
|
|
<resource name="RAM" quantum="128M"/>
|
|
<provides> <service name="Nitpicker"/> </provides>
|
|
<route>
|
|
<service name="ROM" label="config">
|
|
<child name="leitzentrale_config"/> </service>
|
|
<service name="ROM" label_prefix="manager -> config -> ">
|
|
<child name="config_rom"/> </service>
|
|
<service name="Nitpicker"> <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="rw"/> </service>
|
|
<service name="Report"> <child name="fs_report"/> </service>
|
|
<service name="ROM" label_last="drivers/block_devices">
|
|
<parent label="block_devices"/> </service>
|
|
<service name="ROM" label_last="drivers/usb_active_config">
|
|
<child name="usb_active_config_rom" label="usb_active_config"/> </service>
|
|
<service name="ROM" label_last="runtime/state">
|
|
<child name="report_fs_rom" label="runtime/state"/> </service>
|
|
<service name="ROM" label_last="deploy">
|
|
<child name="config_rom"/> </service>
|
|
<service name="ROM" label_last="managed/fonts">
|
|
<child name="config_rom" label="managed/fonts"/> </service>
|
|
<service name="ROM" label_prefix="manager -> report">
|
|
<child name="report_fs_rom"/> </service>
|
|
<service name="ROM" label="manager -> nitpicker_hover">
|
|
<child name="report_rom"/> </service>
|
|
<service name="ROM" label="manager -> displays">
|
|
<child name="report_rom"/> </service>
|
|
<any-service> <parent/> </any-service>
|
|
</route>
|
|
</start>
|
|
|
|
<start name="runtime" caps="50000">
|
|
<binary name="init"/>
|
|
<resource name="RAM" quantum="1G"/>
|
|
<route>
|
|
<service name="ROM" label="config">
|
|
<child name="config_rom" label="managed/runtime"/> </service>
|
|
<service name="ROM" label_prefix="config -> ">
|
|
<child name="config_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" label_last="ahci-1"> <child name="ahci-1"/> </service>
|
|
<service name="Block" label_last="ahci-2"> <child name="ahci-2"/> </service>
|
|
<service name="Block"> <child name="drivers"/> </service>
|
|
<service name="Usb"> <child name="drivers"/> </service>
|
|
<service name="Nitpicker" label_prefix="leitzentrale">
|
|
<child name="leitzentrale"/> </service>
|
|
<service name="Nitpicker"> <child name="nitpicker"/> </service>
|
|
<service name="Timer"> <child name="timer"/> </service>
|
|
<service name="Report"> <child name="fs_report"/> </service>
|
|
<service name="Report"> <child name="fs_report"/> </service>
|
|
<any-service> <parent/> </any-service>
|
|
</route>
|
|
</start>
|
|
|
|
</config>}
|
|
|
|
file copy -force [genode_dir]/repos/gems/run/sculpt/fonts.config [run_dir]/genode/
|
|
file copy -force [genode_dir]/repos/gems/run/sculpt/leitzentrale.config [run_dir]/genode/
|
|
file copy -force [genode_dir]/repos/gems/run/sculpt/vimrc [run_dir]/genode/
|
|
file copy -force [genode_dir]/repos/gems/src/app/backdrop/genode_logo.png [run_dir]/genode/
|
|
file copy -force [genode_dir]/repos/gems/run/sculpt/drop_shadow.png [run_dir]/genode/
|
|
|
|
proc install_rom_module { name content } {
|
|
set fd [open [run_dir]/genode/$name w]
|
|
puts $fd $content
|
|
close $fd
|
|
}
|
|
|
|
# generate disk image with GPT partition table
|
|
proc ahci_1_img { } { return "bin/ahci-1.img" }
|
|
|
|
catch { exec dd if=/dev/zero of=[ahci_1_img] bs=1M count=10 }
|
|
exec parted -a none -s [ahci_1_img] -- mklabel gpt \
|
|
mkpart BOOT fat32 256s 1023s \
|
|
mkpart GRUB fat32 1024s 1279s \
|
|
mkpart GENODE ext2 1280s 3700s
|
|
|
|
install_rom_module focus {<focus label="leitzentrale -> manager -> fader -> "/>}
|
|
install_rom_module leitzentrale {<leitzentrale enabled="yes"/>}
|
|
install_rom_module reset {<reset enabled="no"/>}
|
|
install_rom_module README {nothing to read here}
|
|
install_rom_module VERSION {unknown version}
|
|
|
|
install_rom_module block_devices {
|
|
<block_devices>
|
|
<device label="ahci-1" block_count="123" block_size="1024" model="Model"/>
|
|
<device label="ahci-2" block_count="123" block_size="1024" model="Broken"/>
|
|
</block_devices>}
|
|
|
|
install_rom_module usb_active_config {
|
|
<config>
|
|
<raw> <policy label_suffix="usb-1-2" class="storage"/> </raw>
|
|
</config>}
|
|
|
|
build { server/lx_block app/menu_view app/sculpt_manager }
|
|
|
|
build_boot_image { lx_block menu_view sculpt_manager ahci-1.img }
|
|
|
|
if {[have_spec linux]} {
|
|
set max_fds [exec bash -c "ulimit -n"]
|
|
if {$max_fds < 4096} {
|
|
puts stderr "\nMaximum number of file descriptors is too low for this run script."
|
|
puts stderr "You may use the following command to increase the limit:\n"
|
|
puts stderr " ulimit -n 4096\n"
|
|
exit 1
|
|
}
|
|
}
|
|
|
|
run_genode_until forever
|
|
|