1 files changed, 4 insertions, 1 deletions

diff --git a/conf/machine/raspberrypi4-64.conf b/conf/machine/raspberrypi4-64.conf
index a03a7c5..96fc46b 100644
--- a/conf/machine/raspberrypi4-64.conf
+++ b/conf/machine/raspberrypi4-64.conf
@@ -1,5 +1,5 @@
 #@TYPE: Machine
-#@NAME: RaspberryPi 4 Development Board
+#@NAME: RaspberryPi 4 Development Board (64bit)
 #@DESCRIPTION: Machine configuration for the RaspberryPi 4 in 64 bits mode
 
 MACHINEOVERRIDES = "raspberrypi4:${MACHINE}"
@@ -21,5 +21,8 @@ SERIAL_CONSOLES ?= "115200;ttyS0"
 
 MACHINE_FEATURES_append = " vc4graphics"
 VC4DTBO ?= "vc4-fkms-v3d"
+ARMSTUB ?= "armstub8-gic.bin"
 
 KERNEL_IMAGETYPE_DIRECT ?= "Image"
+
+RPI_EXTRA_CONFIG ?= "\n# RPi4 64bit has some limitation - see https://github.com/raspberrypi/linux/commit/cdb78ce891f6c6367a69c0a46b5779a58164bd4b\ntotal_mem=1024\narm_64bit=1"