mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-25 00:11:07 +00:00
02d5efcf3f
The init component used to create the CPU/RAM/PD/ROM sessions (the child environment) for its children by issuing session requests to its parent, which is typically core. This policy was hard-wired. This patch enables the routing of the environment sessions of the children of init according to the configured routing policy. Because there is no hard-wired policy regarding the environment sessions anymore, routes to respective services must be explicitly declared in the init configuration. For this reason, the patch adjusts several run scripts in this respect. This patch removes the outdated '<if-args>' special handling of session labels. The '<if-args>' feature will eventually be removed completely (ref #2250) Issue #2197 Issue #2215 Issue #2233 Issue #2250
155 lines
3.6 KiB
Plaintext
155 lines
3.6 KiB
Plaintext
#
|
|
# Build
|
|
#
|
|
if {![have_spec linux]} {
|
|
puts "Runs on Linux only"
|
|
exit 0
|
|
}
|
|
|
|
set build_components {
|
|
core init drivers/timer drivers/framebuffer
|
|
server/dynamic_rom server/nitpicker
|
|
app/pointer app/menu_view
|
|
app/scout
|
|
}
|
|
|
|
build $build_components
|
|
|
|
create_boot_directory
|
|
|
|
#
|
|
# Generate config
|
|
#
|
|
|
|
append config {
|
|
<config>
|
|
<parent-provides>
|
|
<service name="PD"/>
|
|
<service name="CPU"/>
|
|
<service name="ROM"/>
|
|
<service name="RAM"/>
|
|
<service name="RM"/>
|
|
<service name="LOG"/>
|
|
<service name="IRQ"/>
|
|
<service name="IO_MEM"/>
|
|
<service name="IO_PORT"/>
|
|
</parent-provides>
|
|
<default-route>
|
|
<any-service> <parent/> <any-child/> </any-service>
|
|
</default-route>
|
|
<start name="fb_sdl">
|
|
<resource name="RAM" quantum="4M"/>
|
|
<provides>
|
|
<service name="Input"/>
|
|
<service name="Framebuffer"/>
|
|
</provides>
|
|
</start>
|
|
<start name="timer">
|
|
<resource name="RAM" quantum="1M"/>
|
|
<provides><service name="Timer"/></provides>
|
|
</start>
|
|
<start name="nitpicker">
|
|
<resource name="RAM" quantum="1M"/>
|
|
<provides><service name="Nitpicker"/></provides>
|
|
<config>
|
|
<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>
|
|
</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="dynamic_rom">
|
|
<resource name="RAM" quantum="4M"/>
|
|
<provides><service name="ROM"/></provides>
|
|
<config verbose="yes">
|
|
<rom name="dialog">
|
|
<inline description="example menu">
|
|
<dialog>
|
|
<frame>
|
|
<vbox>
|
|
<button name="virtualbox">
|
|
<label text="VirtualBox"/>
|
|
</button>
|
|
<button name="toolchain" hovered="yes">
|
|
<label text="Tool chain"/>
|
|
</button>
|
|
<button name="log" hovered="yes" selected="yes">
|
|
<label text="Log window"/>
|
|
</button>
|
|
<button name="config" selected="yes">
|
|
<label text="Configuration"/>
|
|
</button>
|
|
</vbox>
|
|
</frame>
|
|
</dialog>
|
|
</inline>
|
|
<sleep milliseconds="2000" />
|
|
<inline description="example menu">
|
|
<dialog>
|
|
<frame>
|
|
<vbox>
|
|
<button name="virtualbox" hovered="yes">
|
|
<label text="VirtualBox"/>
|
|
</button>
|
|
<button name="toolchain">
|
|
<label text="Tool chain"/>
|
|
</button>
|
|
<button name="log" selected="yes">
|
|
<label text="Log window"/>
|
|
</button>
|
|
<button name="config" selected="yes" hovered="yes">
|
|
<label text="Configuration"/>
|
|
</button>
|
|
</vbox>
|
|
</frame>
|
|
</dialog>
|
|
</inline>
|
|
<sleep milliseconds="2000" />
|
|
</rom>
|
|
</config>
|
|
</start>
|
|
<start name="menu_view">
|
|
<resource name="RAM" quantum="5M"/>
|
|
<config xpos="200" ypos="100">
|
|
<libc stderr="/dev/log"/>
|
|
<vfs>
|
|
<tar name="menu_view_styles.tar" />
|
|
<dir name="dev"> <log/> </dir>
|
|
</vfs>
|
|
</config>
|
|
<route>
|
|
<service name="ROM" label="dialog"> <child name="dynamic_rom" /> </service>
|
|
<any-service> <parent/> <any-child/> </any-service>
|
|
</route>
|
|
</start>
|
|
<start name="scout">
|
|
<resource name="RAM" quantum="64M" />
|
|
</start>
|
|
</config>}
|
|
|
|
install_config $config
|
|
|
|
#
|
|
# Boot modules
|
|
#
|
|
|
|
# generic modules
|
|
set boot_modules {
|
|
core ld.lib.so init timer dynamic_rom fb_sdl nitpicker pointer menu_view
|
|
libpng.lib.so libc.lib.so libm.lib.so zlib.lib.so
|
|
menu_view_styles.tar
|
|
scout
|
|
}
|
|
|
|
build_boot_image $boot_modules
|
|
|
|
run_genode_until forever
|