Change permissions of files.

base.conf.tmpl

@@ -5,8 +5,8 @@
 -cpu host,kvm=on,topoext,tsc_deadline,tsc_adjust,l3-cache,hv_vendor_id=null,hv_vpindex,hv_runtime,hv_synic,hv_stimer,hv_reset,hv_frequencies,hv_tlbflush,hv_reenlightenment,hv_ipi,hv_time,hv_relaxed,hv_vapic,hv_spinlocks=0x1fff
 -m 12G
 -mem-prealloc -mem-path /dev/hugepages
--vga none -nographic
 -parallel none
 -serial none
 -rtc clock=host,base=localtime,driftfix=none
 -usb
+-vga none -nographic

debian.conf.tmpl

@@ -1,3 +1,2 @@
--drive file=debian-11.0.0-amd64-netinst.iso,media=cdrom
 -drive file=debian.qcow2,if=virtio,cache=off
 

default.conf.tmpl

@@ -1,4 +1,4 @@
 -netdev tap,id=net0,br=$BR_NAME,ifname=$TAP_NAME,script=no,downscript=no
--device e1000,netdev=net0
+-device rtl8139,netdev=net0
 -audiodev pa,id=snd0,server=unix:/run/user/$MYUID/pulse/native
 -device intel-hda -device hda-duplex,audiodev=snd0

net

@@ -7,7 +7,7 @@ BASE_BRIDGE_NAME=br-q
 BASE_TAP_NAME=tap-q
 
 randstr() {
-    dd if=/dev/urandom count=1 bs=4 | xxd -p -g 0
+    dd if=/dev/urandom count=1 bs=4 2>/dev/null | xxd -p -g 0
 }
 
 default_route() {

pci

@@ -14,8 +14,10 @@ vfio_rebind_device() {
 
     pci_id="$1"
     if [[ -e "$BASE_PATH/devices/$pci_id" ]]; then
-	echo "$pci_id" | sudo tee "$BASE_PATH/devices/$pci_id/driver/unbind"
-	echo "$pci_id" | sudo tee "$BASE_PATH/drivers/vfio-pci/bind"
+	echo "$pci_id" | sudo tee \
+        "$BASE_PATH/devices/$pci_id/driver/unbind" >/dev/null
+	echo "$pci_id" | sudo tee \
+        "$BASE_PATH/drivers/vfio-pci/bind" > /dev/null
     fi
 }
 

pre-start.sh

@@ -1,6 +1,8 @@
 #!/usr/bin/env bash
 
-if [[ -z "$DEBUG" ]]; then
+if [[ -z "$DEBUG" ]] \
+    && [[ -e /sys/bus/platform/devices/efi-framebuffer.0/driver ]]; then
+
     echo efi-framebuffer.0 | sudo tee \
-        '/sys/bus/platform/devices/efi-framebuffer.0/driver/unbind' || true
+        '/sys/bus/platform/devices/efi-framebuffer.0/driver/unbind'
 fi