Add configuration option --vmm to specify the virtual machine manager.
Valid choices are 'qemu' and 'kvmtool', the default being 'qemu'. This
option is only available for the arm and arm64 architectures and does
nothing for now.
Signed-off-by: Alexandru Elisei <alexandru.elisei@xxxxxxx>
Reviewed-by: Andrew Jones <drjones@xxxxxxxxxx>
---
I opted to keep the exclamation mark in the error messages because I think
it makes them stand out.
configure | 10 ++++++++++
1 file changed, 10 insertions(+)
diff --git a/configure b/configure
index b4732c6c04e4..d1dd7d5830eb 100755
--- a/configure
+++ b/configure
@@ -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"
--
2.17.0
