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

run: use driver_nic-* pkg where possible (fix #3180)

Browse Source
This commit is contained in:
Stefan Kalkowski
2019-04-24 15:09:49 +02:00
committed by Christian Helmuth
parent b6d14d9960
commit dcc28b65cb
48 changed files with 590 additions and 1371 deletions
Download Patch File Download Diff File Expand all files Collapse all files

26
repos/base/run/platform_drv.inc
View File

@@ -44,32 +44,6 @@ proc usb_host_drv_binary { } {
}
##
# Return name of the NIC driver binary
#
proc nic_drv_binary { } {
if {[have_spec linux]} { return linux_nic_drv }
if {[have_spec omap4] || [have_spec arndale] || [have_spec rpi]} { return usb_drv }
if {[have_spec zynq]} { return zynq_nic_drv }
if {!([have_spec riscv] || [have_spec odroid_xu])} { return nic_drv }
return no_nic_drv_available
}
##
# Return configuration for NIC driver
#
proc nic_drv_config { } {
if {[have_spec imx53]} {
return "<config><card type=\"fsl,imx25-fec\" mii=\"rmii\" irq=\"87\" mmio=\"0x63fec000\"/></config>" }
if {[have_spec imx6q_sabrelite]} {
return "<config><card type=\"fsl,imx6q-fec\" mii=\"rgmii\" irq=\"150\" mmio=\"0x2188000\"/></config>" }
if {[have_spec omap4] || [have_spec arndale] || [have_spec rpi]} {
return {<config uhci="yes" ohci="yes" ehci="yes"><nic mac="02:00:00:00:01:01"/></config>} }
return ""
}
##
# Return name of the audio driver binary
#