I'm using Ubuntu 18.04. Run sudo apt-get install qemu ... Edit /utils/pintos (~line 621): replace qemu with qemu-system-x86_64
確定! 回上一頁