From 4fdbb1b1adecb7711761df205475ac38d4980d78 Mon Sep 17 00:00:00 2001 From: Stefan Kalkowski Date: Tue, 23 Apr 2019 11:34:57 +0200 Subject: [PATCH] depot: add recipe for linux_nic_drv Ref #3180 --- repos/os/recipes/src/linux_nic_drv/content.mk | 2 ++ repos/os/recipes/src/linux_nic_drv/hash | 1 + repos/os/recipes/src/linux_nic_drv/used_apis | 4 ++++ 3 files changed, 7 insertions(+) create mode 100644 repos/os/recipes/src/linux_nic_drv/content.mk create mode 100644 repos/os/recipes/src/linux_nic_drv/hash create mode 100644 repos/os/recipes/src/linux_nic_drv/used_apis diff --git a/repos/os/recipes/src/linux_nic_drv/content.mk b/repos/os/recipes/src/linux_nic_drv/content.mk new file mode 100644 index 000000000..bd2c99afd --- /dev/null +++ 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 diff --git a/repos/os/recipes/src/linux_nic_drv/hash b/repos/os/recipes/src/linux_nic_drv/hash new file mode 100644 index 000000000..da7dfa016 --- /dev/null +++ b/repos/os/recipes/src/linux_nic_drv/hash @@ -0,0 +1 @@ +2019-04-23 d3b45720a1a98b45ff0e7f3fecfc138f273ddc22 diff --git a/repos/os/recipes/src/linux_nic_drv/used_apis b/repos/os/recipes/src/linux_nic_drv/used_apis new file mode 100644 index 000000000..f8896ba8d --- /dev/null +++ b/repos/os/recipes/src/linux_nic_drv/used_apis @@ -0,0 +1,4 @@ +base +base-linux +os +nic_session