Files
genode-world/run/supertux.run
Norman Feske aa18c86ddf Use drivers_interactive pkg from depot
This patch changes 'framebuffer_app.inc' for the use of the depot. It
also fixes a few minor issues (e.g., the rtc config) found while testing
the various run scripts that use 'framebuffer_app.inc'.
2018-01-21 18:28:51 +01:00

42 lines
861 B
Plaintext

set build_components { app/supertux server/ram_fs }
set app_config {
<start name="ram_fs" priority="-1">
<resource name="RAM" quantum="4M"/>
<provides> <service name="File_system"/> </provides>
<config> <default-policy writeable="yes" root="/"/> </config>
</start>
<start name="supertux" priority="-2" caps="200">
<resource name="RAM" quantum="64M"/>
<config>
<libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc"/>
<vfs>
<tar name="supertux_data.tar" />
<dir name="dev">
<log/> <inline name="rtc">2000-01-01 00:00</inline>
</dir>
<fs/>
</vfs>
</config>
</start>}
set boot_modules {
ram_fs
supertux
jpeg.lib.so
libc.lib.so
libm.lib.so
libpng.lib.so
pthread.lib.so
sdl_image.lib.so
sdl_mixer.lib.so
sdl.lib.so
stdcxx.lib.so
zlib.lib.so
supertux_data.tar
}
source ${genode_dir}/repos/world/run/framebuffer_app.inc