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