Searched refs:MENUFILE (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-2018-10-04/tools/ |
| H A D | qemu-wrapper.sh | 19 MENUFILE=""
65 shift; MENUFILE="$1"
106 if test -z "$MENUFILE"; then
115 echo "Using menu file $MENUFILE"
116 ROOT=`sed -rne 's,^root[ \t]*([^ ]*).*,\1,p' "$MENUFILE"`
120 KERNEL=`sed -rne 's,^kernel[ \t]*/([^ ]*).*,\1,p' "$MENUFILE"`
127 KERNEL_CMDS=`sed -rne 's,^kernel[ \t]*[^ ]*[ \t]*(.*),\1,p' "$MENUFILE"`
134 INITRD=`sed -rne 's,^module(nounzip)?[ \t]*/(.*),\2,p' "$MENUFILE" | awk $AWKARGS "$AWKSCRIPT"`
|
Completed in 54 milliseconds