diff --git a/repos/base-sel4/recipes/src/base-sel4-imx7d_sabre/README b/repos/base-sel4/recipes/src/base-sel4-imx7d_sabre/README
new file mode 100644
index 000000000..fac8785ba
--- /dev/null
+++ b/repos/base-sel4/recipes/src/base-sel4-imx7d_sabre/README
@@ -0,0 +1,7 @@
+This archive contains the seL4-specific part of Genode.
+
+It also contains the source code of the seL4 kernel in the
+'src/kernel/sel4' directory.
+
+Please note that seL4 has a license distinct from Genode. seL4's
+license can be found at 'src/kernel/sel4/LICENSE_GPLv2.txt'.
diff --git a/repos/base-sel4/recipes/src/base-sel4-imx7d_sabre/content.mk b/repos/base-sel4/recipes/src/base-sel4-imx7d_sabre/content.mk
new file mode 100644
index 000000000..ab6da0e18
--- /dev/null
+++ b/repos/base-sel4/recipes/src/base-sel4-imx7d_sabre/content.mk
@@ -0,0 +1,39 @@
+include $(GENODE_DIR)/repos/base/recipes/src/base_content.inc
+
+content: enable_board_spec
+enable_board_spec: etc/specs.conf
+	echo "SPECS += imx7d_sabre" >> etc/specs.conf
+
+content: include/os/attached_mmio.h
+
+include/%.h:
+	mkdir -p $(dir $@)
+	cp $(GENODE_DIR)/repos/os/$@ $@
+
+content: README
+README:
+	cp $(REP_DIR)/recipes/src/base-sel4-imx7d_sabre/README $@
+
+content: lib/import etc include/sel4
+lib/import etc include/sel4:
+	$(mirror_from_rep_dir)
+
+content: src/tool/sel4_tools
+src/kernel:
+	$(mirror_from_rep_dir)
+
+KERNEL_PORT_DIR := $(call port_dir,$(REP_DIR)/ports/sel4)
+
+src/kernel/sel4: src/kernel
+	cp -r $(KERNEL_PORT_DIR)/src/kernel/sel4/* $@
+
+ELFLOADER_PORT_DIR := $(call port_dir,$(REP_DIR)/ports/sel4_tools)
+src/tool/sel4_tools: src/kernel/sel4
+	mkdir -p $@
+	cp -r $(ELFLOADER_PORT_DIR)/src/tool/sel4_tools/* $@
+
+content:
+	mv lib/mk/spec/arm/ld-sel4.mk lib/mk/spec/arm/ld.mk;
+	sed -i "s/ld-sel4/ld/"          src/lib/ld/sel4/target.mk
+	sed -i "s/imx7_timer_drv/timer/" src/timer/gpt/imx7/target.inc
+
diff --git a/repos/base-sel4/recipes/src/base-sel4-imx7d_sabre/hash b/repos/base-sel4/recipes/src/base-sel4-imx7d_sabre/hash
new file mode 100644
index 000000000..8e48e5d65
--- /dev/null
+++ b/repos/base-sel4/recipes/src/base-sel4-imx7d_sabre/hash
@@ -0,0 +1 @@
+2019-04-16 390aa0a47312e28dd0865cf1c2a758980975df31
diff --git a/repos/base-sel4/recipes/src/base-sel4-imx7d_sabre/used_apis b/repos/base-sel4/recipes/src/base-sel4-imx7d_sabre/used_apis
new file mode 100644
index 000000000..df967b96a
--- /dev/null
+++ b/repos/base-sel4/recipes/src/base-sel4-imx7d_sabre/used_apis
@@ -0,0 +1 @@
+base
diff --git a/tool/run/boot_dir/sel4 b/tool/run/boot_dir/sel4
index 680e1a763..966eca3c2 100644
--- a/tool/run/boot_dir/sel4
+++ b/tool/run/boot_dir/sel4
@@ -156,6 +156,7 @@ proc base_src { } {
 
 	if {[have_spec x86]}             { return base-sel4-x86 }
 	if {[have_spec imx6q_sabrelite]} { return base-sel4-imx6q_sabrelite }
+	if {[have_spec imx7d_sabre]}     { return base-sel4-imx7d_sabre }
 
 	global specs