From a1e22789af26a49c9309ffeab75be5297b55beb3 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Fri, 12 Jan 2018 11:34:15 +0100
Subject: [PATCH] fetchurl: NIC driver binary from platform_drv.inc

---
 repos/libports/run/fetchurl.run | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/repos/libports/run/fetchurl.run b/repos/libports/run/fetchurl.run
index 43c4ffede4..195d493b61 100644
--- a/repos/libports/run/fetchurl.run
+++ b/repos/libports/run/fetchurl.run
@@ -44,6 +44,7 @@ append config {
 		<provides> <service name="Timer"/> </provides>
 	</start>
 	<start name="nic_drv">
+		<binary name="} [nic_drv_binary] {"/>
 		<resource name="RAM" quantum="4M"/>
 		<provides> <service name="Nic"/> </provides>
 	</start>
@@ -81,6 +82,7 @@ set boot_modules {
 
 # platform-specific modules
 append_platform_drv_boot_modules
+lappend boot_modules [nic_drv_binary]
 
 build_boot_image $boot_modules