Compare commits

..

No commits in common. "057ebd1b1a0d58e6d71394271f4d501946f47317" and "c6e878e9d44fae9e2bc10c6c8f006bb43b882984" have entirely different histories.

4 changed files with 4 additions and 4 deletions

View file

@ -1,4 +1,4 @@
#!/bin/sh -x
#!/bin/sh -ex
exec linux \
-vga qxl \
-device virtio-serial \

View file

@ -1,4 +1,4 @@
#!/bin/sh -x
#!/bin/sh -ex
exec qemu-system-x86_64 \
-enable-kvm \
-M q35 \

View file

@ -1,4 +1,4 @@
#!/bin/sh -x
#!/bin/sh -ex
exec redox \
-vga qxl -spice port="$(first-free-port 5900)",addr=127.0.0.1,disable-ticketing=on \
"$@"

View file

@ -1,4 +1,4 @@
#!/bin/sh -x
#!/bin/sh -ex
qemu-system-x86_64 \
-enable-kvm \
-cpu host -smp "$(("$(nproc)" / 2))" \