From 831b761568c25f4c183d8ac115c9a136fde6b31a Mon Sep 17 00:00:00 2001
From: Vincent Donnefort <vincent.donnefort@arm.com>
Date: Tue, 5 Oct 2021 13:47:28 +0100
Subject: [PATCH] install_base: Do not install VirtualBox on aarch64 machines

VirtualBox currently does not support aarch64 machines.
---
 install_base.sh | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/install_base.sh b/install_base.sh
index 4631f2678..52687a8b1 100755
--- a/install_base.sh
+++ b/install_base.sh
@@ -189,8 +189,10 @@ pacman_packages=(
     kernelshark
 )
 
+HOST_ARCH="$(uname -m)"
+
 # ABI-specific packages
-case $(uname -m) in
+case $HOST_ARCH in
     aarch64)
         # Allows building C extensions from sources, when they do not ship a
         # prebuilt wheel for that arch
@@ -310,6 +312,8 @@ for arg in "${args[@]}"; do
         vm=$(systemd-detect-virt 2>/dev/null)
         if [[ $vm == 'oracle' ]] ; then
             echo "VirtualBox detected, not installing virtualbox apt packages" >&2
+        elif [[ $HOST_ARCH == 'aarch64' ]]; then
+            echo "VirtualBox not supported on $HOST_ARCH" >&2
         else
             apt_packages+=(vagrant virtualbox)
             pacman_packages+=(vagrant virtualbox virtualbox-host-dkms)
-- 
GitLab