From eb933af40aad3fef0f6e4b9b42b0e2ce9c03a129 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Tue, 16 Apr 2019 15:24:48 +0200
Subject: [PATCH] depot: add recipe for base-foc-imx7d_sabre

Fix #3293
---
 repos/base-foc/recipes/src/base-foc-imx7d_sabre/README     | 7 +++++++
 repos/base-foc/recipes/src/base-foc-imx7d_sabre/content.mk | 7 +++++++
 repos/base-foc/recipes/src/base-foc-imx7d_sabre/hash       | 1 +
 repos/base-foc/recipes/src/base-foc-imx7d_sabre/used_apis  | 1 +
 tool/run/boot_dir/foc                                      | 1 +
 5 files changed, 17 insertions(+)
 create mode 100644 repos/base-foc/recipes/src/base-foc-imx7d_sabre/README
 create mode 100644 repos/base-foc/recipes/src/base-foc-imx7d_sabre/content.mk
 create mode 100644 repos/base-foc/recipes/src/base-foc-imx7d_sabre/hash
 create mode 100644 repos/base-foc/recipes/src/base-foc-imx7d_sabre/used_apis

diff --git a/repos/base-foc/recipes/src/base-foc-imx7d_sabre/README b/repos/base-foc/recipes/src/base-foc-imx7d_sabre/README
new file mode 100644
index 000000000..c19a0dd5b
--- /dev/null
+++ b/repos/base-foc/recipes/src/base-foc-imx7d_sabre/README
@@ -0,0 +1,7 @@
+This archive contains the Fiasco.OC-specific part of Genode.
+
+It also contains the source code of the Fiasco.OC kernel in the
+'src/kernel/foc' directory.
+
+Please note that Fiasco.OC has a license distinct from Genode. Fiasco.OC's
+license can be found at 'src/kernel/foc/COPYING-GPL-2'.
diff --git a/repos/base-foc/recipes/src/base-foc-imx7d_sabre/content.mk b/repos/base-foc/recipes/src/base-foc-imx7d_sabre/content.mk
new file mode 100644
index 000000000..39a3fbac1
--- /dev/null
+++ b/repos/base-foc/recipes/src/base-foc-imx7d_sabre/content.mk
@@ -0,0 +1,7 @@
+RECIPE_DIR := $(REP_DIR)/recipes/src/base-foc-imx7d_sabre
+
+include $(GENODE_DIR)/repos/base-foc/recipes/src/base-foc_content.inc
+
+content: enable_board_spec
+enable_board_spec: etc/specs.conf
+	echo "SPECS += imx7d_sabre" >> etc/specs.conf
diff --git a/repos/base-foc/recipes/src/base-foc-imx7d_sabre/hash b/repos/base-foc/recipes/src/base-foc-imx7d_sabre/hash
new file mode 100644
index 000000000..b7d855701
--- /dev/null
+++ b/repos/base-foc/recipes/src/base-foc-imx7d_sabre/hash
@@ -0,0 +1 @@
+2019-04-16-a aaed5880fa6cdfe378a398cfb07691b4787210e5
diff --git a/repos/base-foc/recipes/src/base-foc-imx7d_sabre/used_apis b/repos/base-foc/recipes/src/base-foc-imx7d_sabre/used_apis
new file mode 100644
index 000000000..df967b96a
--- /dev/null
+++ b/repos/base-foc/recipes/src/base-foc-imx7d_sabre/used_apis
@@ -0,0 +1 @@
+base
diff --git a/tool/run/boot_dir/foc b/tool/run/boot_dir/foc
index 7adcb0157..b1384d674 100644
--- a/tool/run/boot_dir/foc
+++ b/tool/run/boot_dir/foc
@@ -225,6 +225,7 @@ proc base_src { } {
 	if {[have_spec pbxa9]}   { return base-foc-pbxa9 }
 	if {[have_spec arndale]} { return base-foc-arndale }
 	if {[have_spec imx6q_sabrelite]} { return base-foc-imx6q_sabrelite }
+	if {[have_spec imx7d_sabre]}     { return base-foc-imx7d_sabre }
 
 	global specs