Searched refs:IMAGE (Results 1 - 2 of 2) sorted by relevance

/barrelfish-2018-10-04/tools/arm_molly/
H A Dbuild_molly_image.sh24 IMAGE="pandaboard_image"
35 echo " --image <output image file> (default: $IMAGE)"
76 shift; IMAGE="$1"
118 TMP_DIR="$BUILD_DIR/molly_tmp_"`basename $IMAGE`
126 # - $IMAGE : the image to be built
187 -o $IMAGE
189 echo "OK - boot image $IMAGE is built."
191 echo "usbboot $IMAGE"
/barrelfish-2018-10-04/tools/
H A Dqemu-wrapper.sh83 shift; IMAGE="$1"
105 if test -z "$IMAGE"; then
142 echo "Booting image: $IMAGE"
201 -drive if=none,id=image,file=$IMAGE,format=raw"
226 if test -z "$IMAGE"; then
230 echo "$QEMU_CMD $QEMU_NONDEBUG -kernel $IMAGE"
231 exec $QEMU_CMD $QEMU_NONDEBUG -kernel "$IMAGE"
271 if test -z "$IMAGE"; then
284 -kernel \"$IMAGE\" \

Completed in 34 milliseconds