#!/bin/sh -ex
exec linux \
	-vga qxl \
	-device virtio-serial \
	-chardev spicevmc,id=vdagent,debug=0,name=vdagent \
	-device virtserialport,chardev=vdagent,name=com.redhat.spice.0 \
	-spice port="$(first-free-port 5900)",addr=127.0.0.1,disable-ticketing=on \
	"$@"