ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-18 18:56:29 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

fb_bench: add gpio driver when supported

Browse Source 
Ref #2268
This commit is contained in:
Martin Stein 2017-01-31 12:03:57 +01:00 committed by Norman Feske
parent d5d4befab3
commit 77e266d1ff
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
repos/os/run/fb_bench.run
View File

@ -10,6 +10,8 @@ set build_components { core init test/fb_bench drivers/framebuffer drivers/timer
source ${genode_dir}/repos/base/run/platform_drv.inc
append_platform_drv_build_components
lappend_if [have_spec gpio] build_components drivers/gpio
build $build_components
create_boot_directory
@ -40,6 +42,13 @@ append config {
<provides><service name="Timer"/></provides>
</start>}
append_if [have_spec gpio] config {
<start name="gpio_drv">
<resource name="RAM" quantum="4M"/>
<provides><service name="Gpio"/></provides>
<config/>
</start>}
append_if [have_spec sdl] config {
<start name="fb_sdl">
<resource name="RAM" quantum="4M"/>
@ -75,6 +84,7 @@ append_platform_drv_boot_modules
lappend_if [have_spec sdl] boot_modules fb_sdl
lappend_if [have_spec framebuffer] boot_modules fb_drv
lappend_if [have_spec gpio] boot_modules gpio_drv
build_boot_image $boot_modules