mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-22 23:12:24 +00:00
6112c0df6d
for easier linking by user with the Mesa client ROM requests, which will be mesa_gpu-drv.lib.so. Adjust mesa-gears demo accordingly. Issue #4263
58 lines
1.2 KiB
Plaintext
58 lines
1.2 KiB
Plaintext
<runtime ram="34M" caps="400" binary="init">
|
|
|
|
<requires>
|
|
<gui/>
|
|
<gpu/>
|
|
<timer/>
|
|
<rom label="mesa_gpu_drv.lib.so"/>
|
|
</requires>
|
|
|
|
<content>
|
|
<rom label="egl.lib.so"/>
|
|
<rom label="expat.lib.so"/>
|
|
<rom label="gears"/>
|
|
<rom label="glapi.lib.so"/>
|
|
<rom label="init"/>
|
|
<rom label="ld.lib.so"/>
|
|
<rom label="libc.lib.so"/>
|
|
<rom label="libdrm.lib.so"/>
|
|
<rom label="libm.lib.so"/>
|
|
<rom label="mesa.lib.so"/>
|
|
<rom label="stdcxx.lib.so"/>
|
|
<rom label="vfs.lib.so"/>
|
|
<rom label="zlib.lib.so"/>
|
|
</content>
|
|
|
|
<config>
|
|
<parent-provides>
|
|
<service name="ROM"/>
|
|
<service name="PD"/>
|
|
<service name="RM"/>
|
|
<service name="CPU"/>
|
|
<service name="LOG"/>
|
|
<service name="Timer"/>
|
|
<service name="Gpu"/>
|
|
<service name="Gui"/>
|
|
</parent-provides>
|
|
|
|
<start name="gears" caps="300">
|
|
<resource name="RAM" quantum="32M"/>
|
|
<config>
|
|
<libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc" />
|
|
<vfs>
|
|
<dir name="dev">
|
|
<log/> <inline name="rtc">2000-01-01 00:00</inline>
|
|
</dir>
|
|
</vfs>
|
|
</config>
|
|
<route>
|
|
<service name="ROM" label="egl_drv.lib.so">
|
|
<parent label="mesa_gpu_drv.lib.so"/>
|
|
</service>
|
|
<any-service> <parent/> </any-service>
|
|
</route>
|
|
</start>
|
|
</config>
|
|
|
|
</runtime>
|