From 91a21b0182e7afdfe8d4794d48e84aec3c811f53 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 24 Jun 2020 14:18:12 +0200
Subject: [PATCH] Add pkg/drivers_interactive-panda

This package has been tested with the framebuffer.run and demo.run
scripts on the Pandaboard ES Rev B.
---
 recipes/pkg/drivers_interactive-panda/README  |  3 +
 .../pkg/drivers_interactive-panda/archives    |  6 ++
 recipes/pkg/drivers_interactive-panda/hash    |  1 +
 .../raw/drivers_interactive-panda/content.mk  |  7 ++
 .../drivers_interactive-panda/drivers.config  | 96 +++++++++++++++++++
 recipes/raw/drivers_interactive-panda/hash    |  1 +
 .../input_filter.config                       | 26 +++++
 recipes/src/panda_drivers/content.mk          | 15 +++
 recipes/src/panda_drivers/hash                |  1 +
 recipes/src/panda_drivers/used_apis           |  7 ++
 recipes/src/panda_usb_host_drv/content.mk     |  2 +
 recipes/src/panda_usb_host_drv/hash           |  1 +
 recipes/src/panda_usb_host_drv/used_apis      |  7 ++
 recipes/src/usb_host_drv.inc                  | 36 +++++++
 14 files changed, 209 insertions(+)
 create mode 100644 recipes/pkg/drivers_interactive-panda/README
 create mode 100644 recipes/pkg/drivers_interactive-panda/archives
 create mode 100644 recipes/pkg/drivers_interactive-panda/hash
 create mode 100644 recipes/raw/drivers_interactive-panda/content.mk
 create mode 100644 recipes/raw/drivers_interactive-panda/drivers.config
 create mode 100644 recipes/raw/drivers_interactive-panda/hash
 create mode 100644 recipes/raw/drivers_interactive-panda/input_filter.config
 create mode 100644 recipes/src/panda_drivers/content.mk
 create mode 100644 recipes/src/panda_drivers/hash
 create mode 100644 recipes/src/panda_drivers/used_apis
 create mode 100644 recipes/src/panda_usb_host_drv/content.mk
 create mode 100644 recipes/src/panda_usb_host_drv/hash
 create mode 100644 recipes/src/panda_usb_host_drv/used_apis
 create mode 100644 recipes/src/usb_host_drv.inc

diff --git a/recipes/pkg/drivers_interactive-panda/README b/recipes/pkg/drivers_interactive-panda/README
new file mode 100644
index 0000000..9503f68
--- /dev/null
+++ b/recipes/pkg/drivers_interactive-panda/README
@@ -0,0 +1,3 @@
+
+               Device drivers needed to run interactive
+              scenarios on the OMAP4-based Pandaboard ES
diff --git a/recipes/pkg/drivers_interactive-panda/archives b/recipes/pkg/drivers_interactive-panda/archives
new file mode 100644
index 0000000..d24192c
--- /dev/null
+++ b/recipes/pkg/drivers_interactive-panda/archives
@@ -0,0 +1,6 @@
+_/src/panda_drivers
+_/src/input_filter
+_/src/report_rom
+_/src/usb_hid_drv
+_/src/panda_usb_host_drv
+_/raw/drivers_interactive-panda
diff --git a/recipes/pkg/drivers_interactive-panda/hash b/recipes/pkg/drivers_interactive-panda/hash
new file mode 100644
index 0000000..466d4f9
--- /dev/null
+++ b/recipes/pkg/drivers_interactive-panda/hash
@@ -0,0 +1 @@
+2020-06-24 9b1bac7ed8a8ad552e127e2b01ec094caf4f0eba
diff --git a/recipes/raw/drivers_interactive-panda/content.mk b/recipes/raw/drivers_interactive-panda/content.mk
new file mode 100644
index 0000000..e44da3c
--- /dev/null
+++ b/recipes/raw/drivers_interactive-panda/content.mk
@@ -0,0 +1,7 @@
+content: drivers.config input_filter.config en_us.chargen special.chargen
+
+drivers.config 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-panda/drivers.config b/recipes/raw/drivers_interactive-panda/drivers.config
new file mode 100644
index 0000000..c2882d6
--- /dev/null
+++ b/recipes/raw/drivers_interactive-panda/drivers.config
@@ -0,0 +1,96 @@
+<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="fb_drv">
+		<binary name="omap4_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>
+		</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="omap4_gpio_drv" caps="100">
+		<resource name="RAM" quantum="2M"/>
+		<provides> <service name="Gpio"/> </provides>
+		<config/>
+		<route> <any-service> <parent/> </any-service> </route>
+	</start>
+
+	<start name="usb_host_drv" caps="150">
+		<binary name="panda_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="Gpio">   <child name="omap4_gpio_drv"/> </service>
+			<service name="Report"> <child name="report_rom"/> </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-panda/hash b/recipes/raw/drivers_interactive-panda/hash
new file mode 100644
index 0000000..28e1640
--- /dev/null
+++ b/recipes/raw/drivers_interactive-panda/hash
@@ -0,0 +1 @@
+2020-06-24 08cc8c08b202405e4798e444407d472b4efce370
diff --git a/recipes/raw/drivers_interactive-panda/input_filter.config b/recipes/raw/drivers_interactive-panda/input_filter.config
new file mode 100644
index 0000000..13b26d9
--- /dev/null
+++ b/recipes/raw/drivers_interactive-panda/input_filter.config
@@ -0,0 +1,26 @@
+<config>
+	<input label="usb"/>
+	<output>
+		<chargen>
+			<accelerate max="50" sensitivity_percent="1000" curve="127">
+				<button-scroll>
+					<input name="usb"/>
+					<vertical   button="BTN_MIDDLE" speed_percent="-10"/>
+					<horizontal button="BTN_MIDDLE" speed_percent="-10"/>
+				</button-scroll>
+			</accelerate>
+			<mod1>
+				<key name="KEY_LEFTSHIFT"/> <key name="KEY_RIGHTSHIFT"/>
+			</mod1>
+			<mod2>
+				<key name="KEY_LEFTCTRL"/> <key name="KEY_RIGHTCTRL"/>
+			</mod2>
+			<mod3>
+				<key name="KEY_RIGHTALT"/> <!-- AltGr -->
+			</mod3>
+			<repeat delay_ms="230" rate_ms="90"/>
+			<include rom="en_us.chargen"/>
+			<include rom="special.chargen"/>
+		</chargen>
+	</output>
+</config>
diff --git a/recipes/src/panda_drivers/content.mk b/recipes/src/panda_drivers/content.mk
new file mode 100644
index 0000000..84707e9
--- /dev/null
+++ b/recipes/src/panda_drivers/content.mk
@@ -0,0 +1,15 @@
+include $(GENODE_DIR)/repos/base/recipes/src/content.inc
+
+MIRROR_FROM_OS_REP_DIR := include/gpio
+
+content: src/drivers $(MIRROR_FROM_OS_REP_DIR)
+
+$(MIRROR_FROM_OS_REP_DIR):
+	mkdir -p $(dir $@)
+	cp -r $(GENODE_DIR)/repos/os/$@ $@
+
+src/drivers:
+	mkdir -p $@/framebuffer
+	cp    -r $(REP_DIR)/src/drivers/framebuffer/spec/omap4/* $@/framebuffer
+	mkdir -p $@/gpio
+	cp    -r $(REP_DIR)/src/drivers/gpio/spec/omap4/* $@/gpio
diff --git a/recipes/src/panda_drivers/hash b/recipes/src/panda_drivers/hash
new file mode 100644
index 0000000..e7f1def
--- /dev/null
+++ b/recipes/src/panda_drivers/hash
@@ -0,0 +1 @@
+2020-06-24 543ac25b17bca30952765c7953a7279ac0eab6eb
diff --git a/recipes/src/panda_drivers/used_apis b/recipes/src/panda_drivers/used_apis
new file mode 100644
index 0000000..5d7bf97
--- /dev/null
+++ b/recipes/src/panda_drivers/used_apis
@@ -0,0 +1,7 @@
+base
+os
+blit
+framebuffer_session
+input_session
+gpio_session
+timer_session
diff --git a/recipes/src/panda_usb_host_drv/content.mk b/recipes/src/panda_usb_host_drv/content.mk
new file mode 100644
index 0000000..2a4738e
--- /dev/null
+++ b/recipes/src/panda_usb_host_drv/content.mk
@@ -0,0 +1,2 @@
+MIRROR_FROM_REP_DIR := src/drivers/usb_host/spec/panda
+include $(REP_DIR)/recipes/src/usb_host_drv.inc
diff --git a/recipes/src/panda_usb_host_drv/hash b/recipes/src/panda_usb_host_drv/hash
new file mode 100644
index 0000000..aaae09a
--- /dev/null
+++ b/recipes/src/panda_usb_host_drv/hash
@@ -0,0 +1 @@
+2020-06-24 69bd6a7fb1071881ddd6a2c8c9a2284274ab4ce9
diff --git a/recipes/src/panda_usb_host_drv/used_apis b/recipes/src/panda_usb_host_drv/used_apis
new file mode 100644
index 0000000..b556595
--- /dev/null
+++ b/recipes/src/panda_usb_host_drv/used_apis
@@ -0,0 +1,7 @@
+base
+os
+usb_session
+gpio_session
+platform_session
+timer_session
+report_session
diff --git a/recipes/src/usb_host_drv.inc b/recipes/src/usb_host_drv.inc
new file mode 100644
index 0000000..1afeb5b
--- /dev/null
+++ b/recipes/src/usb_host_drv.inc
@@ -0,0 +1,36 @@
+LIB_MK := lib/mk/usb_host_include.mk lib/import/import-usb_arch_include.mk \
+          $(foreach SPEC,arm arm_64 x86_32 x86_64,lib/mk/spec/$(SPEC)/lx_kit_setjmp.mk)
+
+DDE_LINUX_REP_DIR := $(GENODE_DIR)/repos/dde_linux
+
+PORT_DIR := $(call port_dir,$(DDE_LINUX_REP_DIR)/ports/dde_linux)
+
+MIRROR_FROM_DDE_LINUX_REP_DIR := $(LIB_MK) \
+                                 lib/import/import-usb_host_include.mk \
+                                 src/include src/lx_kit \
+                                 $(shell cd $(DDE_LINUX_REP_DIR); \
+                                    find src/drivers/usb_host -type f -name "*.h" \
+                                                                  -or -name "*.c" \
+                                                                  -or -name "*.inc" \
+                                                                  -or -name "README")
+
+MIRROR_FROM_PORT_DIR := $(shell cd $(PORT_DIR); find src/drivers/usb_host -type f | grep -v ".git")
+MIRROR_FROM_PORT_DIR := $(filter-out $(MIRROR_FROM_DDE_LINUX_REP_DIR),$(MIRROR_FROM_PORT_DIR))
+
+content: $(MIRROR_FROM_REP_DIR) $(MIRROR_FROM_DDE_LINUX_REP_DIR) $(MIRROR_FROM_PORT_DIR)
+
+$(MIRROR_FROM_REP_DIR):
+	$(mirror_from_rep_dir)
+
+$(MIRROR_FROM_DDE_LINUX_REP_DIR):
+	mkdir -p $(dir $@)
+	cp -r $(DDE_LINUX_REP_DIR)/$@ $@
+
+$(MIRROR_FROM_PORT_DIR):
+	mkdir -p $(dir $@)
+	cp $(PORT_DIR)/$@ $@
+
+content: LICENSE
+LICENSE:
+	( echo "GNU General Public License version 2, see:"; \
+	  echo "https://www.kernel.org/pub/linux/kernel/COPYING" ) > $@