From 94f4e2a276c688e95d4ba3200a88617d25c686a2 Mon Sep 17 00:00:00 2001 From: Martin Stein Date: Fri, 3 Nov 2017 13:58:37 +0100 Subject: [PATCH] os/recipes: nic_router Fixes #2560 --- repos/os/recipes/src/nic_router/content.mk | 9 +++++++++ repos/os/recipes/src/nic_router/hash | 1 + repos/os/recipes/src/nic_router/used_apis | 4 ++++ 3 files changed, 14 insertions(+) create mode 100644 repos/os/recipes/src/nic_router/content.mk create mode 100644 repos/os/recipes/src/nic_router/hash create mode 100644 repos/os/recipes/src/nic_router/used_apis diff --git a/repos/os/recipes/src/nic_router/content.mk b/repos/os/recipes/src/nic_router/content.mk new file mode 100644 index 0000000000..e8a6100630 --- /dev/null +++ b/repos/os/recipes/src/nic_router/content.mk @@ -0,0 +1,9 @@ +SRC_DIR = src/server/nic_router +include $(GENODE_DIR)/repos/base/recipes/src/content.inc + +MIRROR_FROM_REP_DIR := lib/mk/net.mk include/net include/nic_bridge src/lib/net + +content: $(MIRROR_FROM_REP_DIR) + +$(MIRROR_FROM_REP_DIR): + $(mirror_from_rep_dir) diff --git a/repos/os/recipes/src/nic_router/hash b/repos/os/recipes/src/nic_router/hash new file mode 100644 index 0000000000..940b3f9a05 --- /dev/null +++ b/repos/os/recipes/src/nic_router/hash @@ -0,0 +1 @@ +2017-11-03 38313c8509223918db5a402f230c438902eedfc9 diff --git a/repos/os/recipes/src/nic_router/used_apis b/repos/os/recipes/src/nic_router/used_apis new file mode 100644 index 0000000000..d968222803 --- /dev/null +++ b/repos/os/recipes/src/nic_router/used_apis @@ -0,0 +1,4 @@ +base +os +nic_session +timer_session