depot: add recipe for base-sel4-imx7d_sabre

Fix #3293

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'.

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
+

repos/base-sel4/recipes/src/base-sel4-imx7d_sabre/hash

@@ -0,0 +1 @@
+2019-04-16 390aa0a47312e28dd0865cf1c2a758980975df31

repos/base-sel4/recipes/src/base-sel4-imx7d_sabre/used_apis

@@ -0,0 +1 @@
+base

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