ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-08 20:05:54 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

rpi: disable run scripts that use 'drivers_nic_rpi'

Browse Source 
The 'drivers_nic_rpi' packet uses the 'usb_net_drv' which is currently not
supported by the virt_linux version.
This commit is contained in:
Sebastian Sumpf 2023-09-12 18:08:09 +02:00 committed by Christian Helmuth
parent 3ebb715c5c
commit 2bb901e1e3
3 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -4,7 +4,7 @@
# \date 2016-06-05
#
if {[have_board rpi3] || [have_board imx53_qsb_tz]} {
if {[have_board rpi3] || [have_board imx53_qsb_tz] || [have_board rpi]} {
puts "Run script does not support this platform."
exit 0
}

3
repos/libports/run/lwip.run
View File

@ -19,7 +19,8 @@
if {[have_board linux] ||
[have_board imx53_qsb_tz] ||
[have_board rpi3]} {
[have_board rpi3] ||
[have_board rpi]} {
puts "\n Run script is not supported on this platform. \n"; exit 0 }
if {[get_cmd_switch --autopilot] && [have_board virt_qemu_riscv]} {

2
repos/ports/run/netperf.inc
View File

@ -32,7 +32,7 @@ if {[have_include "power_on/qemu"]} {
exit 0
}
if {[have_board imx53_qsb_tz]} {
if {[have_board imx53_qsb_tz] || [have_board rpi]} {
puts "Run script is not supported on this platform."
exit 0
}