mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-02 01:08:13 +00:00
parent
2af5dbc201
commit
ad99688853
@ -36,11 +36,23 @@ proc need_usb_hid { } {
|
|||||||
proc nic_drv_binary { } {
|
proc nic_drv_binary { } {
|
||||||
if {[have_spec linux]} { return linux_nic_drv }
|
if {[have_spec linux]} { return linux_nic_drv }
|
||||||
if {[have_spec omap4] || [have_spec arndale] || [have_spec rpi]} { return usb_drv }
|
if {[have_spec omap4] || [have_spec arndale] || [have_spec rpi]} { return usb_drv }
|
||||||
if {!([have_spec imx53] || [have_spec riscv] || [have_spec odroid_xu])} { return nic_drv }
|
if {!([have_spec riscv] || [have_spec odroid_xu])} { return nic_drv }
|
||||||
return no_nic_drv_available
|
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 wand_quad]} {
|
||||||
|
return "<config><card type=\"fsl,imx6q-fec\" mii=\"rgmii\" irq=\"150\" mmio=\"0x2188000\"/></config>" }
|
||||||
|
return ""
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
##
|
##
|
||||||
# Return name of the audio driver binary
|
# Return name of the audio driver binary
|
||||||
#
|
#
|
||||||
|
@ -21,7 +21,7 @@
|
|||||||
#
|
#
|
||||||
|
|
||||||
set use_usb_driver [expr [have_spec omap4] || [have_spec arndale] || [have_spec rpi]]
|
set use_usb_driver [expr [have_spec omap4] || [have_spec arndale] || [have_spec rpi]]
|
||||||
set use_nic_driver [expr !$use_usb_driver && ![have_spec imx53] && ![have_spec odroid_xu] && ![have_spec linux]]
|
set use_nic_driver [expr !$use_usb_driver && ![have_spec odroid_xu] && ![have_spec linux]]
|
||||||
|
|
||||||
if {[expr !$use_usb_driver && !$use_nic_driver]} {
|
if {[expr !$use_usb_driver && !$use_nic_driver]} {
|
||||||
puts "\n Run script is not supported on this platform. \n"; exit 0 }
|
puts "\n Run script is not supported on this platform. \n"; exit 0 }
|
||||||
@ -108,6 +108,7 @@ append_if $use_nic_driver config {
|
|||||||
<start name="nic_drv" caps="130">
|
<start name="nic_drv" caps="130">
|
||||||
<resource name="RAM" quantum="20M"/>
|
<resource name="RAM" quantum="20M"/>
|
||||||
<provides><service name="Nic"/></provides>
|
<provides><service name="Nic"/></provides>
|
||||||
|
} [nic_drv_config] {
|
||||||
</start>}
|
</start>}
|
||||||
|
|
||||||
append config {
|
append config {
|
||||||
|
@ -27,7 +27,7 @@ if {[have_spec odroid_xu]} {
|
|||||||
if {![info exists use_usb_driver]} {
|
if {![info exists use_usb_driver]} {
|
||||||
set use_usb_driver [expr [have_spec omap4] || [have_spec arndale] || [have_spec rpi]]
|
set use_usb_driver [expr [have_spec omap4] || [have_spec arndale] || [have_spec rpi]]
|
||||||
}
|
}
|
||||||
set use_nic_driver [expr !$use_usb_driver && ![have_spec imx53] && !$use_wifi_driver]
|
set use_nic_driver [expr !$use_usb_driver && !$use_wifi_driver]
|
||||||
|
|
||||||
if {[expr !$use_usb_driver && !$use_nic_driver && !$use_wifi_driver]} {
|
if {[expr !$use_usb_driver && !$use_nic_driver && !$use_wifi_driver]} {
|
||||||
puts "Run script is not supported on this platform.";
|
puts "Run script is not supported on this platform.";
|
||||||
@ -223,6 +223,7 @@ append_if $use_nic_driver config {
|
|||||||
<binary name="} [nic_drv_binary] {"/>
|
<binary name="} [nic_drv_binary] {"/>
|
||||||
<resource name="RAM" quantum="20M"/>
|
<resource name="RAM" quantum="20M"/>
|
||||||
<provides><service name="Nic"/></provides>
|
<provides><service name="Nic"/></provides>
|
||||||
|
} [nic_drv_config] {
|
||||||
</start>}
|
</start>}
|
||||||
|
|
||||||
append_if $use_wifi_driver config {
|
append_if $use_wifi_driver config {
|
||||||
|
@ -1,5 +1,5 @@
|
|||||||
set use_usb_driver [expr [have_spec omap4] || [have_spec arndale] || [have_spec rpi]]
|
set use_usb_driver [expr [have_spec omap4] || [have_spec arndale] || [have_spec rpi]]
|
||||||
set use_nic_driver [expr !$use_usb_driver && ![have_spec imx53] && ![have_spec linux] && ![have_spec odroid_xu]]
|
set use_nic_driver [expr !$use_usb_driver && ![have_spec linux] && ![have_spec odroid_xu]]
|
||||||
|
|
||||||
if {[expr !$use_usb_driver && !$use_nic_driver || [expr [have_include "power_on/qemu"] && [have_spec zynq]]]} {
|
if {[expr !$use_usb_driver && !$use_nic_driver || [expr [have_include "power_on/qemu"] && [have_spec zynq]]]} {
|
||||||
puts "\n Run script is not supported on this platform. \n"; exit 0 }
|
puts "\n Run script is not supported on this platform. \n"; exit 0 }
|
||||||
@ -117,6 +117,7 @@ append_if $use_nic_driver config {
|
|||||||
<start name="nic_drv" caps="130">
|
<start name="nic_drv" caps="130">
|
||||||
<resource name="RAM" quantum="20M"/>
|
<resource name="RAM" quantum="20M"/>
|
||||||
<provides> <service name="Nic"/> </provides>
|
<provides> <service name="Nic"/> </provides>
|
||||||
|
} [nic_drv_config] {
|
||||||
</start>}
|
</start>}
|
||||||
|
|
||||||
append_if [have_spec gpio] config "
|
append_if [have_spec gpio] config "
|
||||||
|
Loading…
x
Reference in New Issue
Block a user