Searched refs:HDFILE (Results 1 - 1 of 1) sorted by path

/barrelfish-2018-10-04/tools/
H A Dqemu-wrapper.sh15 HDFILE=hd.img
35 echo " --hdfile <file> (hard disk image to be build for AHCI, defaults to $HDFILE"
71 shift; HDFILE="$1"
168 # -drive id=disk,file="$HDFILE",if=none"
178 -drive id=disk,file="$HDFILE",if=none"
181 echo "Creating hard disk image $HDFILE"
182 qemu-img create "$HDFILE" 10M

Completed in 44 milliseconds