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 0000000000..c19a0dd5b9
--- /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 0000000000..39a3fbac14
--- /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 0000000000..b7d855701f
--- /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 0000000000..df967b96a5
--- /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 7adcb0157f..b1384d6743 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