From adaaa030f2e88e5b602677440d89a8cdc120b2a5 Mon Sep 17 00:00:00 2001
From: j1nx <p.steenbergen@j1nx.nl>
Date: Tue, 13 Dec 2022 10:06:57 +0100
Subject: [PATCH] Fix forgotten 64bit config flag

---
 buildroot-external/board/raspberrypi/config_3_64bit.txt | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/buildroot-external/board/raspberrypi/config_3_64bit.txt b/buildroot-external/board/raspberrypi/config_3_64bit.txt
index ade40bcb..93e80c92 100644
--- a/buildroot-external/board/raspberrypi/config_3_64bit.txt
+++ b/buildroot-external/board/raspberrypi/config_3_64bit.txt
@@ -60,3 +60,6 @@ dtparam=spi=on
 
 # Disable GPIO IRQ
 dtoverlay=gpio-no-irq
+
+# enable 64bits support
+arm_64bit=1