From ebd1fa605cb3a9e8e7793fa941e2ad8467492aa0 Mon Sep 17 00:00:00 2001
From: Hin-Tak Leung <htl10@users.sourceforge.net>
Date: Fri, 14 Apr 2023 00:09:12 +0100
Subject: [PATCH] Raspbian has 64-bit kernel on 32-bit userspace

---
 install.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/install.sh b/install.sh
index 73df624..7e8b177 100755
--- a/install.sh
+++ b/install.sh
@@ -106,6 +106,8 @@ if [[ $? -eq 0 ]]; then
   apt update -y
   # Raspbian kernel packages
   apt-get -y install raspberrypi-kernel-headers raspberrypi-kernel 
+  # Recent Raspbian has 64-bit kernel on 32-bit userspace
+  apt-get -y install gcc-aarch64-linux-gnu
   # Ubuntu kernel packages
   apt-get -y install linux-raspi linux-headers-raspi linux-image-raspi
   apt-get -y install dkms git i2c-tools libasound2-plugins