From 5b5e8a9bd43078e340eed85925591a093cb7ef96 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Wed, 24 Apr 2019 16:03:16 +0200
Subject: [PATCH] depot: add recipe for drivers_nic-linux

Ref #3180
---
 repos/os/recipes/pkg/drivers_nic-linux/README |  3 +++
 .../os/recipes/pkg/drivers_nic-linux/archives |  2 ++
 repos/os/recipes/pkg/drivers_nic-linux/hash   |  1 +
 .../recipes/raw/drivers_nic-linux/content.mk  |  4 +++
 .../raw/drivers_nic-linux/drivers.config      | 25 +++++++++++++++++++
 repos/os/recipes/raw/drivers_nic-linux/hash   |  1 +
 6 files changed, 36 insertions(+)
 create mode 100644 repos/os/recipes/pkg/drivers_nic-linux/README
 create mode 100644 repos/os/recipes/pkg/drivers_nic-linux/archives
 create mode 100644 repos/os/recipes/pkg/drivers_nic-linux/hash
 create mode 100644 repos/os/recipes/raw/drivers_nic-linux/content.mk
 create mode 100644 repos/os/recipes/raw/drivers_nic-linux/drivers.config
 create mode 100644 repos/os/recipes/raw/drivers_nic-linux/hash

diff --git a/repos/os/recipes/pkg/drivers_nic-linux/README b/repos/os/recipes/pkg/drivers_nic-linux/README
new file mode 100644
index 0000000000..b9ad938515
--- /dev/null
+++ b/repos/os/recipes/pkg/drivers_nic-linux/README
@@ -0,0 +1,3 @@
+
+               Device drivers needed for scenarios
+                   using one network interface
diff --git a/repos/os/recipes/pkg/drivers_nic-linux/archives b/repos/os/recipes/pkg/drivers_nic-linux/archives
new file mode 100644
index 0000000000..7f21e908f0
--- /dev/null
+++ b/repos/os/recipes/pkg/drivers_nic-linux/archives
@@ -0,0 +1,2 @@
+_/src/linux_nic_drv
+_/raw/drivers_nic-linux
diff --git a/repos/os/recipes/pkg/drivers_nic-linux/hash b/repos/os/recipes/pkg/drivers_nic-linux/hash
new file mode 100644
index 0000000000..90849b6887
--- /dev/null
+++ b/repos/os/recipes/pkg/drivers_nic-linux/hash
@@ -0,0 +1 @@
+2019-04-24 94894e975d6ed6b1c9ae8e5ae8af819d95f9533c
diff --git a/repos/os/recipes/raw/drivers_nic-linux/content.mk b/repos/os/recipes/raw/drivers_nic-linux/content.mk
new file mode 100644
index 0000000000..49ec56f7f1
--- /dev/null
+++ b/repos/os/recipes/raw/drivers_nic-linux/content.mk
@@ -0,0 +1,4 @@
+content: drivers.config
+
+drivers.config:
+	cp $(REP_DIR)/recipes/raw/drivers_nic-linux/$@ $@
diff --git a/repos/os/recipes/raw/drivers_nic-linux/drivers.config b/repos/os/recipes/raw/drivers_nic-linux/drivers.config
new file mode 100644
index 0000000000..667435e4a7
--- /dev/null
+++ b/repos/os/recipes/raw/drivers_nic-linux/drivers.config
@@ -0,0 +1,25 @@
+<config>
+	<parent-provides>
+		<service name="IRQ"/>
+		<service name="IO_MEM"/>
+		<service name="ROM"/>
+		<service name="PD"/>
+		<service name="RM"/>
+		<service name="CPU"/>
+		<service name="LOG"/>
+		<service name="Timer"/>
+	</parent-provides>
+
+	<default caps="100"/>
+
+	<service name="Nic">
+		<default-policy> <child name="nic_drv"/> </default-policy> </service>
+
+	<start name="nic_drv" ld="no">
+		<binary name="linux_nic_drv"/>
+		<resource name="RAM" quantum="4M"/>
+		<provides> <service name="Nic"/> </provides>
+		<config/>
+		<route> <any-service> <parent/> </any-service> </route>
+	</start>
+</config>
diff --git a/repos/os/recipes/raw/drivers_nic-linux/hash b/repos/os/recipes/raw/drivers_nic-linux/hash
new file mode 100644
index 0000000000..cddcd0cff0
--- /dev/null
+++ b/repos/os/recipes/raw/drivers_nic-linux/hash
@@ -0,0 +1 @@
+2019-04-24 53add9a7dad47e6e3d1e99337cb4abbb16dbe9ec