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 \ exec linux \
-vga qxl \ -vga qxl \
-device virtio-serial \ -device virtio-serial \

View file

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

View file

@ -1,4 +1,4 @@
#!/bin/sh -x #!/bin/sh -ex
exec redox \ exec redox \
-vga qxl -spice port="$(first-free-port 5900)",addr=127.0.0.1,disable-ticketing=on \ -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 \ qemu-system-x86_64 \
-enable-kvm \ -enable-kvm \
-cpu host -smp "$(("$(nproc)" / 2))" \ -cpu host -smp "$(("$(nproc)" / 2))" \