ehmry/genode
ehmry/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

fetchurl: NIC driver binary from platform_drv.inc

Browse Source
This commit is contained in:
Christian Helmuth 2018-01-12 11:34:15 +01:00
parent d26554f38d
commit a1e22789af
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/libports/run/fetchurl.run
View File

@ -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