X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Futils%2Fpintos;h=fd5078e387a132698ae72fac0e2607fbf33e7e2c;hb=356128cacb827f30a4c2ce4f1003a0617ab245c5;hp=c29b6a3c4043b85968fec25de43e0a8d699634b6;hpb=0b1fc6a1fee3a2754111860f4659b22ed8fe9888;p=pintos-anon diff --git a/src/utils/pintos b/src/utils/pintos index c29b6a3..fd5078e 100755 --- a/src/utils/pintos +++ b/src/utils/pintos @@ -446,7 +446,7 @@ sub run_qemu { push (@cmd, $option, $disks_by_iface[$iface]{FILENAME}) if defined $disks_by_iface[$iface]{FILENAME}; } - push (@cmd, '-m', $mem); + push (@cmd, '-m', $mem, '-nics', '0'); push (@cmd, '-nographic') if $vga eq 'none'; push (@cmd, '-serial', 'stdio') if $serial_out && $vga ne 'none'; push (@cmd, '-S') if $debug eq 'monitor';