alex/genode-world
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Add pkg/drivers_interactive-arndale

Browse Source 
Tested via the framebuffer.run and demo.run scripts on the
Arndale ISB-BASE-Ver2.0 board.
This commit is contained in:
Norman Feske
2020-06-24 14:41:23 +02:00
parent 91a21b0182
commit 751f8070f5
12 changed files with 157 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
recipes/pkg/drivers_interactive-arndale/README Normal file
View File

@@ -0,0 +1,3 @@
Device drivers needed to run interactive
scenarios on the Exynos5-based Arndale board

6
recipes/pkg/drivers_interactive-arndale/archives Normal file
View File

@@ -0,0 +1,6 @@
_/src/arndale_drivers
_/src/input_filter
_/src/report_rom
_/src/usb_hid_drv
_/src/arndale_usb_host_drv
_/raw/drivers_interactive-arndale

1
recipes/pkg/drivers_interactive-arndale/hash Normal file
View File

@@ -0,0 +1 @@
2020-06-24 204d1785e83053c37d3638c7390d066f9d4b172f

10
recipes/raw/drivers_interactive-arndale/content.mk Normal file
View File

@@ -0,0 +1,10 @@
content: drivers.config input_filter.config en_us.chargen special.chargen
drivers.config:
cp $(REP_DIR)/recipes/raw/drivers_interactive-arndale/$@ $@
input_filter.config:
cp $(REP_DIR)/recipes/raw/drivers_interactive-panda/$@ $@
en_us.chargen special.chargen:
cp $(GENODE_DIR)/repos/os/src/server/input_filter/$@ $@

99
recipes/raw/drivers_interactive-arndale/drivers.config Normal file
View File

@@ -0,0 +1,99 @@
<config>
<parent-provides>
<service name="IRQ"/>
<service name="IO_MEM"/>
<service name="ROM"/>
<service name="PD"/>
<service name="RM"/>
<service name="CPU"/>
<service name="LOG"/>
<service name="Timer"/>
</parent-provides>
<default caps="100"/>
<service name="Framebuffer">
<default-policy> <child name="fb_drv"/> </default-policy> </service>
<service name="Input">
<default-policy> <child name="input_filter"/> </default-policy> </service>
<start name="arndale_platform_drv" caps="100">
<resource name="RAM" quantum="2M"/>
<provides>
<service name="Platform"/> <service name="Regulator"/>
</provides>
<config/>
<route> <any-service> <parent/> </any-service> </route>
</start>
<start name="fb_drv">
<binary name="exynos5_fb_drv"/>
<resource name="RAM" quantum="10M"/>
<provides> <service name="Framebuffer"/> </provides>
<config/>
<route>
<service name="IRQ"> <parent/> </service>
<service name="IO_MEM"> <parent/> </service>
<service name="ROM"> <parent/> </service>
<service name="PD"> <parent/> </service>
<service name="CPU"> <parent/> </service>
<service name="LOG"> <parent/> </service>
<service name="Timer"> <parent/> </service>
<service name="Regulator"> <child name="arndale_platform_drv"/> </service>
</route>
</start>
<start name="report_rom">
<resource name="RAM" quantum="1M"/>
<provides> <service name="Report"/> <service name="ROM"/> </provides>
<config verbose="yes">
<default-policy report="usb_host_drv -> devices"/>
</config>
<route> <any-service> <parent/> </any-service> </route>
</start>
<start name="usb_host_drv" caps="150">
<binary name="arndale_usb_host_drv"/>
<resource name="RAM" quantum="10M"/>
<provides> <service name="Usb"/> </provides>
<config bios_handoff="yes">
<report devices="yes"/>
<policy label_prefix="usb_hid_drv" class="0x3"/>
</config>
<route>
<service name="Report"> <child name="report_rom"/> </service>
<service name="Regulator"> <child name="arndale_platform_drv"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
<start name="usb_hid_drv" caps="140">
<resource name="RAM" quantum="10M"/>
<provides> <service name="Input"/> </provides>
<config use_report="yes"/>
<route>
<service name="Usb"> <child name="usb_host_drv"/> </service>
<service name="ROM" label="report"> <child name="report_rom"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
<start name="input_filter" caps="80">
<resource name="RAM" quantum="1280K"/>
<provides> <service name="Input"/> </provides>
<route>
<service name="ROM" label="config">
<parent label="input_filter.config"/>
</service>
<service name="Input" label="usb">
<child name="usb_hid_drv"/>
</service>
<service name="ROM"> <parent/> </service>
<service name="PD"> <parent/> </service>
<service name="CPU"> <parent/> </service>
<service name="LOG"> <parent/> </service>
<service name="Timer"> <parent/> </service>
</route>
</start>
</config>

1
recipes/raw/drivers_interactive-arndale/hash Normal file
View File

@@ -0,0 +1 @@
2020-06-24 aac5c9545a90f4b965c38ce1650dcfd130e74562

16
recipes/src/arndale_drivers/content.mk Normal file
View File

@@ -0,0 +1,16 @@
include $(GENODE_DIR)/repos/base/recipes/src/content.inc
MIRROR_FROM_REP_DIR := include/regulator_session \
include/regulator \
include/spec/exynos5
content: src/drivers $(MIRROR_FROM_REP_DIR)
$(MIRROR_FROM_REP_DIR):
$(mirror_from_rep_dir)
src/drivers:
mkdir -p $@/framebuffer
cp -r $(REP_DIR)/src/drivers/framebuffer/spec/exynos5/* $@/framebuffer
mkdir -p $@/platform
cp -r $(REP_DIR)/src/drivers/platform/spec/arndale/* $@/platform

1
recipes/src/arndale_drivers/hash Normal file
View File

@@ -0,0 +1 @@
2020-06-24-c abfff448d4dc068612bdb60cc9e6d8caa2a1eac0

7
recipes/src/arndale_drivers/used_apis Normal file
View File

@@ -0,0 +1,7 @@
base
os
blit
framebuffer_session
input_session
gpio_session
timer_session

5
recipes/src/arndale_usb_host_drv/content.mk Normal file
View File

@@ -0,0 +1,5 @@
MIRROR_FROM_REP_DIR := src/drivers/usb_host/spec/arndale \
include/spec/exynos5/regulator \
include/regulator_session
include $(REP_DIR)/recipes/src/usb_host_drv.inc

1
recipes/src/arndale_usb_host_drv/hash Normal file
View File

@@ -0,0 +1 @@
2020-06-24-c 2bb4e83848a1952a07c73066ef00c3a90595cf81

7
recipes/src/arndale_usb_host_drv/used_apis Normal file
View File

@@ -0,0 +1,7 @@
base
os
usb_session
gpio_session
platform_session
timer_session
report_session