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 <[email protected]> --- configure | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/configure b/configure index 44708b026422..0786e1604dba 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 _______________________________________________ kvmarm mailing list [email protected] https://lists.cs.columbia.edu/mailman/listinfo/kvmarm
