mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 13:47:56 +00:00
46be4f1145
* support argc/argv + double buffering (Alexander Boettcher) * Route intel/gpu driver to platform driver * Use Gui session instead of framebuffer session (Josef Söntgen) issue #4254
21 lines
406 B
PHP
21 lines
406 B
PHP
set demo_component test/mesa_demo/gears
|
|
set demo_binary gears
|
|
set demo_ram_quota 32M
|
|
set demo_caps 300
|
|
|
|
set demo_config {
|
|
<config ld_verbose="true">
|
|
<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>}
|
|
|
|
set demo_modules {
|
|
gears
|
|
}
|
|
|
|
source ${genode_dir}/repos/libports/run/mesa.inc
|