@@ -16,6 +16,7 @@ endian=""
pretty_print_stacks=yes
environ_default=yes
u32_long=
+vmm="qemu"
usage() {
cat <<-EOF
@@ -24,6 +25,8 @@ usage() {
Options include:
--arch=ARCH architecture to compile for ($arch)
--processor=PROCESSOR processor to compile for ($arch)
+ --vmm=VMM virtual machine monitor to compile for (qemu
+ or kvmtool, default is qemu) (arm/arm64 only)
--cross-prefix=PREFIX cross compiler prefix
--cc=CC c compiler to use ($cc)
--cxx=CXX c++ compiler to use ($cxx)
@@ -56,6 +59,9 @@ while [[ "$1" = -* ]]; do
--processor)
processor="$arg"
;;
+ --vmm)
+ vmm="$arg"
+ ;;
--cross-prefix)
cross_prefix="$arg"
;;
@@ -108,6 +114,10 @@ if [ "$arch" = "i386" ] || [ "$arch" = "x86_64" ]; then
testdir=x86
elif [ "$arch" = "arm" ] || [ "$arch" = "arm64" ]; then
testdir=arm
+ if [ "$vmm" != "qemu" ] && [ "$vmm" != "kvmtool" ]; then
+ echo '--vmm must be one of "qemu" or "kvmtool"!'
+ usage
+ fi
elif [ "$arch" = "ppc64" ]; then
testdir=powerpc
firmware="$testdir/boot_rom.bin"