From 751f8070f56efc328056a3e4a9ef9c4d74a3cae9 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 24 Jun 2020 14:41:23 +0200
Subject: [PATCH] Add pkg/drivers_interactive-arndale

Tested via the framebuffer.run and demo.run scripts on the
Arndale ISB-BASE-Ver2.0 board.
---
 .../pkg/drivers_interactive-arndale/README    |  3 +
 .../pkg/drivers_interactive-arndale/archives  |  6 ++
 recipes/pkg/drivers_interactive-arndale/hash  |  1 +
 .../drivers_interactive-arndale/content.mk    | 10 ++
 .../drivers.config                            | 99 +++++++++++++++++++
 recipes/raw/drivers_interactive-arndale/hash  |  1 +
 recipes/src/arndale_drivers/content.mk        | 16 +++
 recipes/src/arndale_drivers/hash              |  1 +
 recipes/src/arndale_drivers/used_apis         |  7 ++
 recipes/src/arndale_usb_host_drv/content.mk   |  5 +
 recipes/src/arndale_usb_host_drv/hash         |  1 +
 recipes/src/arndale_usb_host_drv/used_apis    |  7 ++
 12 files changed, 157 insertions(+)
 create mode 100644 recipes/pkg/drivers_interactive-arndale/README
 create mode 100644 recipes/pkg/drivers_interactive-arndale/archives
 create mode 100644 recipes/pkg/drivers_interactive-arndale/hash
 create mode 100644 recipes/raw/drivers_interactive-arndale/content.mk
 create mode 100644 recipes/raw/drivers_interactive-arndale/drivers.config
 create mode 100644 recipes/raw/drivers_interactive-arndale/hash
 create mode 100644 recipes/src/arndale_drivers/content.mk
 create mode 100644 recipes/src/arndale_drivers/hash
 create mode 100644 recipes/src/arndale_drivers/used_apis
 create mode 100644 recipes/src/arndale_usb_host_drv/content.mk
 create mode 100644 recipes/src/arndale_usb_host_drv/hash
 create mode 100644 recipes/src/arndale_usb_host_drv/used_apis

diff --git a/recipes/pkg/drivers_interactive-arndale/README b/recipes/pkg/drivers_interactive-arndale/README
new file mode 100644
index 0000000..8462822
--- /dev/null
+++ b/recipes/pkg/drivers_interactive-arndale/README
@@ -0,0 +1,3 @@
+
+               Device drivers needed to run interactive
+              scenarios on the Exynos5-based Arndale board
diff --git a/recipes/pkg/drivers_interactive-arndale/archives b/recipes/pkg/drivers_interactive-arndale/archives
new file mode 100644
index 0000000..d11822c
--- /dev/null
+++ b/recipes/pkg/drivers_interactive-arndale/archives
@@ -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
diff --git a/recipes/pkg/drivers_interactive-arndale/hash b/recipes/pkg/drivers_interactive-arndale/hash
new file mode 100644
index 0000000..90a8b6d
--- /dev/null
+++ b/recipes/pkg/drivers_interactive-arndale/hash
@@ -0,0 +1 @@
+2020-06-24 204d1785e83053c37d3638c7390d066f9d4b172f
diff --git a/recipes/raw/drivers_interactive-arndale/content.mk b/recipes/raw/drivers_interactive-arndale/content.mk
new file mode 100644
index 0000000..ccc2ad8
--- /dev/null
+++ b/recipes/raw/drivers_interactive-arndale/content.mk
@@ -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/$@ $@
diff --git a/recipes/raw/drivers_interactive-arndale/drivers.config b/recipes/raw/drivers_interactive-arndale/drivers.config
new file mode 100644
index 0000000..552920c
--- /dev/null
+++ b/recipes/raw/drivers_interactive-arndale/drivers.config
@@ -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>
diff --git a/recipes/raw/drivers_interactive-arndale/hash b/recipes/raw/drivers_interactive-arndale/hash
new file mode 100644
index 0000000..cc6db26
--- /dev/null
+++ b/recipes/raw/drivers_interactive-arndale/hash
@@ -0,0 +1 @@
+2020-06-24 aac5c9545a90f4b965c38ce1650dcfd130e74562
diff --git a/recipes/src/arndale_drivers/content.mk b/recipes/src/arndale_drivers/content.mk
new file mode 100644
index 0000000..f921b97
--- /dev/null
+++ b/recipes/src/arndale_drivers/content.mk
@@ -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
diff --git a/recipes/src/arndale_drivers/hash b/recipes/src/arndale_drivers/hash
new file mode 100644
index 0000000..4e8e6ae
--- /dev/null
+++ b/recipes/src/arndale_drivers/hash
@@ -0,0 +1 @@
+2020-06-24-c abfff448d4dc068612bdb60cc9e6d8caa2a1eac0
diff --git a/recipes/src/arndale_drivers/used_apis b/recipes/src/arndale_drivers/used_apis
new file mode 100644
index 0000000..5d7bf97
--- /dev/null
+++ b/recipes/src/arndale_drivers/used_apis
@@ -0,0 +1,7 @@
+base
+os
+blit
+framebuffer_session
+input_session
+gpio_session
+timer_session
diff --git a/recipes/src/arndale_usb_host_drv/content.mk b/recipes/src/arndale_usb_host_drv/content.mk
new file mode 100644
index 0000000..00cf39f
--- /dev/null
+++ b/recipes/src/arndale_usb_host_drv/content.mk
@@ -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
diff --git a/recipes/src/arndale_usb_host_drv/hash b/recipes/src/arndale_usb_host_drv/hash
new file mode 100644
index 0000000..a9471a9
--- /dev/null
+++ b/recipes/src/arndale_usb_host_drv/hash
@@ -0,0 +1 @@
+2020-06-24-c 2bb4e83848a1952a07c73066ef00c3a90595cf81
diff --git a/recipes/src/arndale_usb_host_drv/used_apis b/recipes/src/arndale_usb_host_drv/used_apis
new file mode 100644
index 0000000..b556595
--- /dev/null
+++ b/recipes/src/arndale_usb_host_drv/used_apis
@@ -0,0 +1,7 @@
+base
+os
+usb_session
+gpio_session
+platform_session
+timer_session
+report_session