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

/barrelfish-2018-10-04/tools/
H A Ddebug.sh17 SERIAL_OUTPUT=$4
20 if [ "${SERIAL_OUTPUT}" = "" ] ; then
24 SERIAL_OUTPUT=`tty`
45 QEMU_INVOCATION="${QEMU_CMD} -serial $SERIAL_OUTPUT -gdb tcp::$PORT -S -daemonize -pidfile $PIDFILE"
H A Dqemu-wrapper.sh242 SERIAL_OUTPUT=file:/dev/stdout
245 if test "${SERIAL_OUTPUT}" = ""; then
249 SERIAL_OUTPUT=`tty`
276 -serial $SERIAL_OUTPUT \
286 -serial $SERIAL_OUTPUT \
295 -serial $SERIAL_OUTPUT \

Completed in 61 milliseconds