From c42bcb218fb8d1a6f44a9c6a6c9a6085ebdec3bb Mon Sep 17 00:00:00 2001
From: Jens Maus <mail@jens-maus.de>
Date: Sun, 11 Oct 2020 21:00:45 +0200
Subject: [PATCH] added some CONFIG_ARMV8_DEPRECATED config options for the
 aarch64 kernel_defconfig so that 32bit armhf binaries can be used again. This
 refs #903.

---
 buildroot-external/board/raspberrypi4/kernel_defconfig | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/buildroot-external/board/raspberrypi4/kernel_defconfig b/buildroot-external/board/raspberrypi4/kernel_defconfig
index a6bb273ee9..4bf7502e36 100644
--- a/buildroot-external/board/raspberrypi4/kernel_defconfig
+++ b/buildroot-external/board/raspberrypi4/kernel_defconfig
@@ -29,6 +29,10 @@ CONFIG_PROFILING=y
 CONFIG_ARCH_BCM2835=y
 CONFIG_SECCOMP=y
 CONFIG_COMPAT=y
+CONFIG_ARMV8_DEPRECATED=y
+CONFIG_SWP_EMULATION=y
+CONFIG_CP15_BARRIER_EMULATION=y
+CONFIG_SETEND_EMULATION=y
 # CONFIG_SUSPEND is not set
 CONFIG_PM=y
 CONFIG_CPU_IDLE=y