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

Don't use the NIC server mode of NIC drivers

Browse Source 
Issue #3961
This commit is contained in:
Martin Stein
2021-01-08 17:27:24 +01:00
committed by Norman Feske
parent 9f3c5d92b3
commit 691be92046
70 changed files with 1419 additions and 566 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
tool/autopilot.list
View File

@@ -29,12 +29,10 @@ migrate
moon
netperf_lwip
netperf_lwip_bridge
netperf_lwip_router
netperf_lwip_usb30
netperf_lwip_wifi
netperf_lxip
netperf_lxip_bridge
netperf_lxip_router
netperf_lxip_usb30
netperf_lxip_wifi
nic_bridge
@@ -88,6 +86,7 @@ vm_stress_vbox5-debian32
vm_stress_vbox5-debian64
vm_stress_seoul-debian32
verify
vfs_cfg
vfs_import
vmm_arm
vmm_x86