mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-20 06:07:59 +00:00
4f19e4b6af
This patch adjusts the interactive scenarios of the gems repository to use the depot. This has three immediate benefits. First, once the depot is populated with binary archives, the start time of the scenarios becomes very quick because most dependency checks and build steps are side-stepped. Second, the run scripts become more versatile. In particular, run scripts that were formerly supported on base-linux only (nit_fader, decorator, menu_view) have become usable on all base platforms that have a 'drivers_interactive' package defined. Finally, the run scripts have become much shorter. Issue #2339
128 lines
3.4 KiB
Plaintext
128 lines
3.4 KiB
Plaintext
create_boot_directory
|
|
|
|
import_from_depot genodelabs/src/[base_src] \
|
|
genodelabs/pkg/[drivers_interactive_pkg] \
|
|
genodelabs/src/init \
|
|
genodelabs/src/dynamic_rom \
|
|
genodelabs/src/nitpicker \
|
|
genodelabs/src/demo
|
|
|
|
install_config {
|
|
<config>
|
|
<parent-provides>
|
|
<service name="ROM"/>
|
|
<service name="RAM"/>
|
|
<service name="CPU"/>
|
|
<service name="PD"/>
|
|
<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="timer">
|
|
<resource name="RAM" quantum="1M"/>
|
|
<provides><service name="Timer"/></provides>
|
|
</start>
|
|
|
|
<start name="drivers">
|
|
<resource name="RAM" quantum="32M"/>
|
|
<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="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" focus="click" 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="nit_fader.config">
|
|
<inline description="initial state">
|
|
<config />
|
|
</inline>
|
|
<sleep milliseconds="500" />
|
|
<inline description="make visible">
|
|
<config alpha="255" />
|
|
</inline>
|
|
<sleep milliseconds="3000" />
|
|
<inline description="reduce alpha">
|
|
<config alpha="120" />
|
|
</inline>
|
|
<sleep milliseconds="3000" />
|
|
<inline description="make invisible">
|
|
<config alpha="0" />
|
|
</inline>
|
|
<sleep milliseconds="2000" />
|
|
<empty />
|
|
</rom>
|
|
</config>
|
|
</start>
|
|
|
|
<start name="nit_fader">
|
|
<resource name="RAM" quantum="5M"/>
|
|
<provides><service name="Nitpicker"/></provides>
|
|
<configfile name="nit_fader.config" />
|
|
<route>
|
|
<service name="ROM" label="nit_fader.config">
|
|
<child name="dynamic_rom" />
|
|
</service>
|
|
<service name="Nitpicker"> <child name="nitpicker" /> </service>
|
|
<any-service> <parent/> <any-child/> </any-service>
|
|
</route>
|
|
</start>
|
|
|
|
<start name="scout">
|
|
<resource name="RAM" quantum="8M"/>
|
|
<route>
|
|
<service name="Nitpicker"> <child name="nit_fader" /> </service>
|
|
<any-service> <parent/> <any-child/> </any-service>
|
|
</route>
|
|
</start>
|
|
|
|
<start name="scout2">
|
|
<binary name="scout" />
|
|
<resource name="RAM" quantum="8M"/>
|
|
<route>
|
|
<service name="Nitpicker"> <child name="nitpicker" /> </service>
|
|
<any-service> <parent/> <any-child/> </any-service>
|
|
</route>
|
|
</start>
|
|
</config>}
|
|
|
|
build { server/nit_fader }
|
|
|
|
build_boot_image { nit_fader }
|
|
|
|
run_genode_until forever
|