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

/barrelfish-2018-10-04/tools/
H A Dqemu-wrapper.sh86 shift; KERNEL_CMDS="$1"
127 KERNEL_CMDS=`sed -rne 's,^kernel[ \t]*[^ ]*[ \t]*(.*),\1,p' "$MENUFILE"`
145 echo "Kernel command line arguments: $KERNEL_CMDS"
227 echo "$QEMU_CMD $QEMU_NONDEBUG -kernel $KERNEL -append '$KERNEL_CMDS' -initrd $INITRD"
228 exec $QEMU_CMD $QEMU_NONDEBUG -kernel $KERNEL -append '$KERNEL_CMDS' -initrd "$INITRD"
274 -append \"$KERNEL_CMDS\" \
285 -append \"$KERNEL_CMDS\" \

Completed in 38 milliseconds