Depot-archive recipes

Issue #2339

repos/base-nova/recipes/api/base-nova/content.mk

@@ -0,0 +1,9 @@
+FROM_BASE_NOVA := etc include
+
+content: $(FROM_BASE_NOVA) LICENSE
+
+$(FROM_BASE_NOVA):
+	$(mirror_from_rep_dir)
+
+LICENSE:
+	cp $(GENODE_DIR)/LICENSE $@

repos/base-nova/recipes/api/base-nova/hash

@@ -0,0 +1 @@
+2017-04-24 4a89589b6d06fd84720719edcd6c99d13f36b17b

repos/base-nova/recipes/src/base-nova/README

@@ -0,0 +1,9 @@
+This archive contains the NOVA-specific part of Genode.
+
+It also contains the source code of the NOVA hypervisor in the src/kernel/nova/
+directory.
+
+This NOVA version is maintained at 'https://github.com/alex-ab/NOVA.git'.
+
+Please note that NOVA has a license distinct from Genode. NOVA's license can
+be found at 'src/kernel/nova/LICENSE'.

repos/base-nova/recipes/src/base-nova/content.mk

@@ -0,0 +1,49 @@
+include $(GENODE_DIR)/repos/base/recipes/src/base_content.inc
+
+
+TIMER_SRC := main.cc target.inc nova include
+
+content: src/drivers/timer
+src/drivers/timer:
+	mkdir -p $@
+	cp -r $(addprefix $(GENODE_DIR)/repos/os/$@/,$(TIMER_SRC)) $@
+
+content: include/spec/x86_32/trace/timestamp.h include/spec/x86_64/trace/timestamp.h
+
+include/spec/%/trace/timestamp.h:
+	mkdir -p $(dir $@)
+	cp $(GENODE_DIR)/repos/os/$@ $@
+
+
+DEVICE_PD_SRC := src/drivers/platform/spec/x86/pci_device_pd_ipc.h \
+                 src/drivers/platform/spec/x86/device_pd \
+                 include/os/static_root.h
+
+content: $(DEVICE_PD_SRC)
+$(DEVICE_PD_SRC):
+	mkdir -p $(dir $@)
+	cp -r $(GENODE_DIR)/repos/os/$@ $@
+
+
+content: README
+README:
+	cp $(REP_DIR)/recipes/src/base-nova/README $@
+
+
+content: src/kernel/nova
+src/kernel:
+	$(mirror_from_rep_dir)
+
+KERNEL_PORT_DIR := $(call port_dir,$(REP_DIR)/ports/nova)
+
+src/kernel/nova: src/kernel
+	cp -r $(KERNEL_PORT_DIR)/src/kernel/nova/* $@
+
+
+content:
+	for spec in x86_32 x86_64; do \
+	  mv lib/mk/spec/$$spec/ld-nova.mk   lib/mk/spec/$$spec/ld.mk; \
+	  done;
+	sed -i "s/ld-nova/ld/"           src/lib/ld/nova/target.mk
+	sed -i "s/nova_timer_drv/timer/" src/drivers/timer/nova/target.mk
+

repos/base-nova/recipes/src/base-nova/hash

@@ -0,0 +1 @@
+2017-04-24 6c16675f283e446dff4253334857a278606f1ac5

repos/base-nova/recipes/src/base-nova/used_apis

@@ -0,0 +1,2 @@
+base-nova
+base