From 1953a3103170e3af23a453da4cab4aec9f0f6edb Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 6 Sep 2017 19:14:16 +0200
Subject: [PATCH] depot: recipe for src/noux

---
 .../ports/recipes/api/noux_session/content.mk |  2 ++
 repos/ports/recipes/api/noux_session/hash     |  1 +
 repos/ports/recipes/src/noux/content.mk       | 28 +++++++++++++++++++
 repos/ports/recipes/src/noux/hash             |  1 +
 repos/ports/recipes/src/noux/used_apis        | 12 ++++++++
 5 files changed, 44 insertions(+)
 create mode 100644 repos/ports/recipes/api/noux_session/content.mk
 create mode 100644 repos/ports/recipes/api/noux_session/hash
 create mode 100644 repos/ports/recipes/src/noux/content.mk
 create mode 100644 repos/ports/recipes/src/noux/hash
 create mode 100644 repos/ports/recipes/src/noux/used_apis

diff --git a/repos/ports/recipes/api/noux_session/content.mk b/repos/ports/recipes/api/noux_session/content.mk
new file mode 100644
index 000000000..97581bfa9
--- /dev/null
+++ b/repos/ports/recipes/api/noux_session/content.mk
@@ -0,0 +1,2 @@
+MIRRORED_FROM_REP_DIR := include/noux_session
+include $(GENODE_DIR)/repos/os/recipes/api/session.inc
diff --git a/repos/ports/recipes/api/noux_session/hash b/repos/ports/recipes/api/noux_session/hash
new file mode 100644
index 000000000..61c483299
--- /dev/null
+++ b/repos/ports/recipes/api/noux_session/hash
@@ -0,0 +1 @@
+2017-09-06 205aac1cc1f66f0145e293fae9327d31e577a17b
diff --git a/repos/ports/recipes/src/noux/content.mk b/repos/ports/recipes/src/noux/content.mk
new file mode 100644
index 000000000..780eecd47
--- /dev/null
+++ b/repos/ports/recipes/src/noux/content.mk
@@ -0,0 +1,28 @@
+MIRROR_FROM_REP_DIR := src/noux src/lib/libc_noux lib/mk/libc_noux.mk
+
+content: $(MIRROR_FROM_REP_DIR)
+
+$(MIRROR_FROM_REP_DIR):
+	$(mirror_from_rep_dir)
+
+MIRROR_FROM_LIBPORTS := include/libc-plugin src/lib/libc/libc_mem_alloc.h
+
+content: $(MIRROR_FROM_LIBPORTS)
+
+$(MIRROR_FROM_LIBPORTS):
+	mkdir -p $(dir $@)
+	cp -r $(GENODE_DIR)/repos/libports/$@ $@
+
+MIRROR_FROM_OS := include/init/child_policy.h
+
+content: $(MIRROR_FROM_OS)
+
+$(MIRROR_FROM_OS):
+	mkdir -p $(dir $@)
+	cp -r $(GENODE_DIR)/repos/os/$@ $@
+
+content: LICENSE
+
+LICENSE:
+	cp $(GENODE_DIR)/LICENSE $@
+
diff --git a/repos/ports/recipes/src/noux/hash b/repos/ports/recipes/src/noux/hash
new file mode 100644
index 000000000..901984012
--- /dev/null
+++ b/repos/ports/recipes/src/noux/hash
@@ -0,0 +1 @@
+2017-09-06-k 96ce116b52f6a7f78ae0fc8273f92ed2572ec2a3
diff --git a/repos/ports/recipes/src/noux/used_apis b/repos/ports/recipes/src/noux/used_apis
new file mode 100644
index 000000000..8fc99275e
--- /dev/null
+++ b/repos/ports/recipes/src/noux/used_apis
@@ -0,0 +1,12 @@
+base
+os
+vfs
+libc
+noux
+noux_session
+block_session
+file_system_session
+rtc_session
+terminal_session
+timer_session
+posix