depot: add recipe for linux_nic_drv

Ref #3180
2019-04-23 11:34:57 +02:00 · 2019-04-23 11:34:57 +02:00 · 4fdbb1b1ad
parent bf5a631a14
commit 4fdbb1b1ad
3 changed files with 7 additions and 0 deletions
--- a/repos/os/recipes/src/linux_nic_drv/content.mk
+++ b/repos/os/recipes/src/linux_nic_drv/content.mk
@ -0,0 +1,2 @@
+SRC_DIR = src/drivers/nic/spec/linux
+include $(GENODE_DIR)/repos/base/recipes/src/content.inc
--- a/repos/os/recipes/src/linux_nic_drv/hash
+++ b/repos/os/recipes/src/linux_nic_drv/hash
@ -0,0 +1 @@
+2019-04-23 d3b45720a1a98b45ff0e7f3fecfc138f273ddc22
--- a/repos/os/recipes/src/linux_nic_drv/used_apis
+++ b/repos/os/recipes/src/linux_nic_drv/used_apis
@ -0,0 +1,4 @@
+base
+base-linux
+os
+nic_session
				`@ -0,0 +1 @@`
				`2019-04-23 d3b45720a1a98b45ff0e7f3fecfc138f273ddc22`