raspberrypi4-64: No need to force arm_64bit=1

This workaround is no longer needed with recent firmware.

Signed-off-by: Paul Barker <pbarker@konsulko.com>
This commit is contained in:
Paul Barker 2021-01-21 10:46:51 +00:00 committed by Andrei Gherzan
parent a4a8ce9af4
commit 2a9c3bb551

View File

@ -31,6 +31,4 @@ KERNEL_IMAGETYPE_UBOOT ?= "Image"
KERNEL_IMAGETYPE_DIRECT ?= "Image" KERNEL_IMAGETYPE_DIRECT ?= "Image"
KERNEL_BOOTCMD ?= "booti" KERNEL_BOOTCMD ?= "booti"
RPI_EXTRA_CONFIG += "\n# Force arm in 64bit mode. See: https://github.com/raspberrypi/firmware/issues/1193.\narm_64bit=1"
ARMSTUB ?= "armstub8-gic.bin" ARMSTUB ?= "armstub8-gic.bin"