denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

gems: add pkg/drivers_nic-pc

Browse Source
This commit is contained in:
Norman Feske
2018-12-05 15:20:42 +01:00
parent c43723abdd
commit 89935e7308
7 changed files with 111 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
tool/run/depot.inc
View File

@@ -408,3 +408,12 @@ proc drivers_interactive_pkg { } {
puts stderr "drivers_interactive package undefined for this build configuration"
exit 1
}
proc drivers_nic_pkg { } {
if {[have_spec x86] && ![have_spec linux]} { return drivers_nic-pc }
puts stderr "drivers_nic package undefined for this build configuration"
exit 1
}