From 5dd1abcc2da7fae757e34989c971c53954114b0c Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Thu, 27 Jun 2019 19:41:57 +0200
Subject: [PATCH] depot: add recipe for drivers_nic-imx7d_sabre

Fixes #3433
---
 .../pkg/drivers_nic-imx7d_sabre/README        |  3 ++
 .../pkg/drivers_nic-imx7d_sabre/archives      |  2 ++
 .../recipes/pkg/drivers_nic-imx7d_sabre/hash  |  1 +
 .../raw/drivers_nic-imx7d_sabre/content.mk    |  4 +++
 .../drivers_nic-imx7d_sabre/drivers.config    | 31 +++++++++++++++++++
 .../recipes/raw/drivers_nic-imx7d_sabre/hash  |  1 +
 tool/run/depot.inc                            |  1 +
 7 files changed, 43 insertions(+)
 create mode 100644 repos/dde_linux/recipes/pkg/drivers_nic-imx7d_sabre/README
 create mode 100644 repos/dde_linux/recipes/pkg/drivers_nic-imx7d_sabre/archives
 create mode 100644 repos/dde_linux/recipes/pkg/drivers_nic-imx7d_sabre/hash
 create mode 100644 repos/dde_linux/recipes/raw/drivers_nic-imx7d_sabre/content.mk
 create mode 100644 repos/dde_linux/recipes/raw/drivers_nic-imx7d_sabre/drivers.config
 create mode 100644 repos/dde_linux/recipes/raw/drivers_nic-imx7d_sabre/hash

diff --git a/repos/dde_linux/recipes/pkg/drivers_nic-imx7d_sabre/README b/repos/dde_linux/recipes/pkg/drivers_nic-imx7d_sabre/README
new file mode 100644
index 0000000000..b9ad938515
--- /dev/null
+++ b/repos/dde_linux/recipes/pkg/drivers_nic-imx7d_sabre/README
@@ -0,0 +1,3 @@
+
+               Device drivers needed for scenarios
+                   using one network interface
diff --git a/repos/dde_linux/recipes/pkg/drivers_nic-imx7d_sabre/archives b/repos/dde_linux/recipes/pkg/drivers_nic-imx7d_sabre/archives
new file mode 100644
index 0000000000..97bdb9a0c8
--- /dev/null
+++ b/repos/dde_linux/recipes/pkg/drivers_nic-imx7d_sabre/archives
@@ -0,0 +1,2 @@
+_/src/fec_nic_drv
+_/raw/drivers_nic-imx7d_sabre
diff --git a/repos/dde_linux/recipes/pkg/drivers_nic-imx7d_sabre/hash b/repos/dde_linux/recipes/pkg/drivers_nic-imx7d_sabre/hash
new file mode 100644
index 0000000000..3da4bbb87d
--- /dev/null
+++ b/repos/dde_linux/recipes/pkg/drivers_nic-imx7d_sabre/hash
@@ -0,0 +1 @@
+2019-06-27 faeb36a0166e161f7f3565a03d62e025c980cd3c
diff --git a/repos/dde_linux/recipes/raw/drivers_nic-imx7d_sabre/content.mk b/repos/dde_linux/recipes/raw/drivers_nic-imx7d_sabre/content.mk
new file mode 100644
index 0000000000..91a38338dd
--- /dev/null
+++ b/repos/dde_linux/recipes/raw/drivers_nic-imx7d_sabre/content.mk
@@ -0,0 +1,4 @@
+content: drivers.config
+
+drivers.config:
+	cp $(REP_DIR)/recipes/raw/drivers_nic-imx7d_sabre/$@ $@
diff --git a/repos/dde_linux/recipes/raw/drivers_nic-imx7d_sabre/drivers.config b/repos/dde_linux/recipes/raw/drivers_nic-imx7d_sabre/drivers.config
new file mode 100644
index 0000000000..f75b339c56
--- /dev/null
+++ b/repos/dde_linux/recipes/raw/drivers_nic-imx7d_sabre/drivers.config
@@ -0,0 +1,31 @@
+<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"/>
+		<service name="Gpio"/>
+	</parent-provides>
+
+	<default caps="100"/>
+
+	<service name="Nic">
+		<default-policy> <child name="nic_drv"/> </default-policy> </service>
+
+	<start name="nic_drv" caps="130">
+		<binary name="fec_nic_drv"/>
+		<resource name="RAM" quantum="20M"/>
+		<provides> <service name="Nic"/> </provides>
+		<config>
+			<!-- ENET1: IRQ 120 + 32 = 152 -->
+			<card type="fsl,imx6sx-fec" mii="rgmii" irq="152" mmio="0x30be0000"/>
+			<!-- ENET2: IRQ 102 + 32 = 134 -->
+			<card type="fsl,imx6sx-fec" mii="rgmii" irq="134" mmio="0x30bf0000"/>
+		</config>
+		<route> <any-service> <parent/> </any-service> </route>
+	</start>
+</config>
diff --git a/repos/dde_linux/recipes/raw/drivers_nic-imx7d_sabre/hash b/repos/dde_linux/recipes/raw/drivers_nic-imx7d_sabre/hash
new file mode 100644
index 0000000000..60a2d6e176
--- /dev/null
+++ b/repos/dde_linux/recipes/raw/drivers_nic-imx7d_sabre/hash
@@ -0,0 +1 @@
+2019-06-27 583a26eccfd3241f727170f5d9451c9f2d55d3b4
diff --git a/tool/run/depot.inc b/tool/run/depot.inc
index 9e804c9931..da513070a5 100644
--- a/tool/run/depot.inc
+++ b/tool/run/depot.inc
@@ -482,6 +482,7 @@ proc drivers_nic_pkg { } {
 	if {[have_spec zynq_qemu]}       { return drivers_nic-zynq            }
 	if {[have_spec imx53_qsb]}       { return drivers_nic-imx53_qsb       }
 	if {[have_spec imx6q_sabrelite]} { return drivers_nic-imx6q_sabrelite }
+	if {[have_spec imx7d_sabre]}     { return drivers_nic-imx7d_sabre     }
 
 	puts stderr "drivers_nic package undefined for this build configuration"
 	exit 1