Make aarch64 machine type work as well

If you install ubuntu 64bit server on raspberry pi and use 

--machine aarch64 

as commandline option.
This commit is contained in:
Alar Mäerand 2021-06-16 08:55:44 +03:00 committed by GitHub
parent 5fa7341d9c
commit 46634f05f1
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -181,7 +181,7 @@ case $ARCH in
;; ;;
esac esac
if [[ ! "${MACHINE}" =~ ^(intel-nuc|odroid-c2|odroid-n2|odroid-xu|qemuarm|qemuarm-64|qemux86|qemux86-64|raspberrypi|raspberrypi2|raspberrypi3|raspberrypi4|raspberrypi3-64|raspberrypi4-64|tinker)$ ]]; then if [[ ! "${MACHINE}" =~ ^(intel-nuc|odroid-c2|odroid-n2|odroid-xu|qemuarm|qemuarm-64|qemux86|qemux86-64|raspberrypi|raspberrypi2|raspberrypi3|raspberrypi4|raspberrypi3-64|raspberrypi4-64|tinker|aarch64)$ ]]; then
error "Unknown machine type ${MACHINE}!" error "Unknown machine type ${MACHINE}!"
fi fi