39 lines
935 B
Plaintext
39 lines
935 B
Plaintext
set build_components { app/avplay }
|
|
|
|
#
|
|
# Download media file
|
|
#
|
|
|
|
set media_url "http://vdb.dhs.nu/escape-chotro.mp4"
|
|
if {![file exists bin/mediafile]} {
|
|
puts "downloading media file from $media_url"
|
|
catch { exec wget -O bin/mediafile $media_url }
|
|
}
|
|
|
|
set app_config {
|
|
<start name="avplay" caps="200">
|
|
<resource name="RAM" quantum="64M"/>
|
|
<config>
|
|
<arg value="avplay"/>
|
|
<arg value="mediafile"/>
|
|
<sdl_audio_volume value="100"/>
|
|
<vfs>
|
|
<dir name="dev">
|
|
<log/> <inline name="rtc">2000-01-01 00:00</inline>
|
|
</dir>
|
|
<rom name="mediafile"/>
|
|
</vfs>
|
|
<libc rtc="/dev/rtc" stdout="/dev/log" stderr="/dev/log"/>
|
|
</config>
|
|
</start>}
|
|
|
|
set boot_modules {
|
|
avplay
|
|
libc.lib.so vfs.lib.so vfs.lib.so vfs.lib.so libm.lib.so zlib.lib.so sdl.lib.so
|
|
avfilter.lib.so avutil.lib.so avcodec.lib.so avformat.lib.so swscale.lib.so
|
|
avresample.lib.so
|
|
mediafile
|
|
}
|
|
|
|
source ${genode_dir}/repos/world/run/nitpicker_app.inc
|