From 303d2b39c021ffbd7fece0db7822d8f5e0c1b73f Mon Sep 17 00:00:00 2001
From: Matthias Reichl <hias@horus.com>
Date: Tue, 13 Jul 2021 12:50:52 +0200
Subject: [PATCH] RPi4: switch to 64bit kernel build

Signed-off-by: Matthias Reichl <hias@horus.com>
---
 projects/RPi/devices/RPi4/options | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/projects/RPi/devices/RPi4/options b/projects/RPi/devices/RPi4/options
index 23b4fbd44d..b608cec2c7 100644
--- a/projects/RPi/devices/RPi4/options
+++ b/projects/RPi/devices/RPi4/options
@@ -13,3 +13,14 @@
 
   # set the addon project
     ADDON_PROJECT="ARMv8"
+
+  # build 64bit kernel
+    case $TARGET_ARCH in
+      arm)
+        TARGET_KERNEL_ARCH="arm64"
+        TARGET_KERNEL_PATCH_ARCH="aarch64"
+        ;;
+    esac
+
+  # Kernel target
+    KERNEL_TARGET="Image"