diff options
| -rwxr-xr-x | scripts/runqemu | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/scripts/runqemu b/scripts/runqemu index 573def151f..e270274a97 100755 --- a/scripts/runqemu +++ b/scripts/runqemu | |||
| @@ -150,6 +150,9 @@ while true; do | |||
| 150 | SCRIPT_KERNEL_OPT="$SCRIPT_KERNEL_OPT console=ttyS0" | 150 | SCRIPT_KERNEL_OPT="$SCRIPT_KERNEL_OPT console=ttyS0" |
| 151 | SERIALSTDIO="1" | 151 | SERIALSTDIO="1" |
| 152 | ;; | 152 | ;; |
| 153 | "biosdir="*) | ||
| 154 | CUSTOMBIOSDIR="${arg##biosdir=}" | ||
| 155 | ;; | ||
| 153 | "qemuparams="*) | 156 | "qemuparams="*) |
| 154 | SCRIPT_QEMU_EXTRA_OPT="${arg##qemuparams=}" | 157 | SCRIPT_QEMU_EXTRA_OPT="${arg##qemuparams=}" |
| 155 | 158 | ||
| @@ -484,5 +487,21 @@ if [ ! -f "$INTERNAL_SCRIPT" -o ! -r "$INTERNAL_SCRIPT" ]; then | |||
| 484 | INTERNAL_SCRIPT=`which runqemu-internal` | 487 | INTERNAL_SCRIPT=`which runqemu-internal` |
| 485 | fi | 488 | fi |
| 486 | 489 | ||
| 490 | # Specify directory for BIOS, VGA BIOS and keymaps | ||
| 491 | if [ ! -z "$CUSTOMBIOSDIR" ]; then | ||
| 492 | if [ -d "$OECORE_NATIVE_SYSROOT/$CUSTOMBIOSDIR" ]; then | ||
| 493 | echo "Assuming biosdir is $OECORE_NATIVE_SYSROOT/$CUSTOMBIOSDIR" | ||
| 494 | SCRIPT_QEMU_OPT="$SCRIPT_QEMU_OPT -L $OECORE_NATIVE_SYSROOT/$CUSTOMBIOSDIR" | ||
| 495 | else | ||
| 496 | if [ ! -d "$CUSTOMBIOSDIR" ]; then | ||
| 497 | echo "Custom BIOS directory not found. Tried: $CUSTOMBIOSDIR" | ||
| 498 | echo "and $OECORE_NATIVE_SYSROOT/$CUSTOMBIOSDIR" | ||
| 499 | exit 1; | ||
| 500 | fi | ||
| 501 | echo "Assuming biosdir is $CUSTOMBIOSDIR" | ||
| 502 | SCRIPT_QEMU_OPT="$SCRIPT_QEMU_OPT -L $CUSTOMBIOSDIR" | ||
| 503 | fi | ||
| 504 | fi | ||
| 505 | |||
| 487 | . $INTERNAL_SCRIPT | 506 | . $INTERNAL_SCRIPT |
| 488 | exit $? | 507 | exit $? |
