From 21efcf9e458284dc5bdeeb93038b59a9d9b659b5 Mon Sep 17 00:00:00 2001 From: Martin Stein Date: Sun, 4 Nov 2018 17:09:35 +0100 Subject: [PATCH] os/recipes: src/nic_bridge --- repos/os/recipes/src/nic_bridge/content.mk | 9 +++++++++ repos/os/recipes/src/nic_bridge/hash | 1 + repos/os/recipes/src/nic_bridge/used_apis | 3 +++ 3 files changed, 13 insertions(+) create mode 100644 repos/os/recipes/src/nic_bridge/content.mk create mode 100644 repos/os/recipes/src/nic_bridge/hash create mode 100644 repos/os/recipes/src/nic_bridge/used_apis diff --git a/repos/os/recipes/src/nic_bridge/content.mk b/repos/os/recipes/src/nic_bridge/content.mk new file mode 100644 index 0000000000..f10d188465 --- /dev/null +++ b/repos/os/recipes/src/nic_bridge/content.mk @@ -0,0 +1,9 @@ +SRC_DIR = src/server/nic_bridge +include $(GENODE_DIR)/repos/base/recipes/src/content.inc + +MIRROR_FROM_REP_DIR := lib/mk/net.mk include/net src/lib/net + +content: $(MIRROR_FROM_REP_DIR) + +$(MIRROR_FROM_REP_DIR): + $(mirror_from_rep_dir) diff --git a/repos/os/recipes/src/nic_bridge/hash b/repos/os/recipes/src/nic_bridge/hash new file mode 100644 index 0000000000..5fdebab13a --- /dev/null +++ b/repos/os/recipes/src/nic_bridge/hash @@ -0,0 +1 @@ +2018-11-04 611bf86eda9ec876eb6d65a4879e9c0320228064 diff --git a/repos/os/recipes/src/nic_bridge/used_apis b/repos/os/recipes/src/nic_bridge/used_apis new file mode 100644 index 0000000000..51485221e5 --- /dev/null +++ b/repos/os/recipes/src/nic_bridge/used_apis @@ -0,0 +1,3 @@ +base +os +nic_session