mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-24 07:46:42 +00:00
f0ac01395f
By incorporating the sculpt version into the path where customizations are stored, we can update and roll back sculpt versions without risking configuration incompatibilities. By default, the sculpt version corresponds to <genode-dir>/VERSION.
70 lines
2.2 KiB
Plaintext
70 lines
2.2 KiB
Plaintext
<config>
|
|
|
|
<report init_ram="yes" requested="yes" child_ram="yes" delay_ms="2000" buffer="128K"/>
|
|
|
|
<parent-provides>
|
|
<service name="ROM"/>
|
|
<service name="PD"/>
|
|
<service name="RM"/>
|
|
<service name="CPU"/>
|
|
<service name="LOG"/>
|
|
<service name="Nitpicker"/>
|
|
<service name="Timer"/>
|
|
<service name="Report"/>
|
|
<service name="Block"/>
|
|
<service name="File_system"/>
|
|
</parent-provides>
|
|
|
|
<default-route> <any-service> <parent/> <any-child/> </any-service> </default-route>
|
|
|
|
<default caps="100"/>
|
|
|
|
<start name="fs" caps="500">
|
|
<resource name="RAM" quantum="114M"/>
|
|
<binary name="init"/>
|
|
<route>
|
|
<service name="ROM" label="config">
|
|
<parent label="config -> subinit/default_fs.config"/> </service>
|
|
<any-service> <parent/> </any-service>
|
|
</route>
|
|
<provides> <service name="File_system"/> </provides>
|
|
</start>
|
|
|
|
<start name="noux" caps="500" version="initial">
|
|
<binary name="noux"/>
|
|
<resource name="RAM" quantum="100M" />
|
|
<config stdout="/dev/null" stderr="/dev/null" stdin="/dev/null">
|
|
<fstab>
|
|
<inline name=".bash_profile">
|
|
export VERSION=`cat /VERSION`
|
|
cp /rw/config/$VERSION/* /config/
|
|
cp /rw/config/$VERSION/subinit/*.config /config/subinit/
|
|
cp /rw/config/$VERSION/deploy/* /config/deploy/
|
|
cp /rw/config/$VERSION/leitzentrale/config /config/leitzentrale/
|
|
cp /rw/config/$VERSION/runtime/*.config /config/runtime/
|
|
cp /rw/config/$VERSION/runtime/config /config/runtime/
|
|
</inline>
|
|
<tar name="bash-minimal.tar" />
|
|
<tar name="coreutils-minimal.tar" />
|
|
<dir name="dev"> <zero/> <null/> <log/> </dir>
|
|
<dir name="rw"> <fs label="target"/> </dir>
|
|
<dir name="config"> <fs label="config"/> </dir>
|
|
<rom name="VERSION"/>
|
|
</fstab>
|
|
<start name="/bin/bash">
|
|
<env name="TERM" value="screen" />
|
|
<env name="PS1" value="fs:$PWD> " />
|
|
<env name="HOME" value="/" />
|
|
<arg value="--login"/>
|
|
</start>
|
|
</config>
|
|
<route>
|
|
<service name="File_system" label="target"> <child name="fs"/> </service>
|
|
<service name="File_system" label="config"> <parent label="config"/> </service>
|
|
<any-service> <parent/> </any-service>
|
|
</route>
|
|
</start>
|
|
|
|
</config>
|
|
|