X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Futils%2Fpintos;h=1abd2edc6a9055ae37788867dc022110d8310ea2;hp=4b385cdf87553a07f1d5c1a2667a260b145a416c;hb=12d423a1973d59006cd7ffbf8b71cd7409d04703;hpb=a03618133f7df0954802a470a4bee7674f7aed45

diff --git a/src/utils/pintos b/src/utils/pintos
index 4b385cd..1abd2ed 100755
--- a/src/utils/pintos
+++ b/src/utils/pintos
@@ -619,7 +619,6 @@ sub run_qemu {
     print "warning: qemu doesn't support jitter\n"
       if defined $jitter;
     my (@cmd) = ('qemu');
-    push (@cmd, '-no-kqemu');
     push (@cmd, '-hda', $disks[0]) if defined $disks[0];
     push (@cmd, '-hdb', $disks[1]) if defined $disks[1];
     push (@cmd, '-hdc', $disks[2]) if defined $disks[2];