28 lines
568 B
Bash
Executable File
28 lines
568 B
Bash
Executable File
#! /bin/bash
|
|
|
|
set -e
|
|
|
|
DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
|
|
|
|
echo $DIR
|
|
|
|
BUILD_DIR="${DIR}/../builddbg"
|
|
|
|
|
|
bash ${DIR}/build.sh
|
|
sudo sh ${DIR}/build_image.sh ${BUILD_DIR}/disk.img
|
|
|
|
QEMU_ARGS=
|
|
if [[ $1 == "debug" ]]; then
|
|
QEMU_ARGS+="-S -s"
|
|
fi
|
|
|
|
# Use machine q35 to access PCI devices.
|
|
qemu-system-x86_64 -machine q35 -d guest_errors -m 1G -serial stdio -hda ${BUILD_DIR}/disk.img ${QEMU_ARGS} -device nec-usb-xhci,id=xhci -device usb-kbd,bus=xhci.0
|
|
popd
|
|
|
|
# Extra options to add to this script in the future.
|
|
# Debug opts: -S -s
|
|
# Interrupt opts: -d int
|
|
|