From 9e73b9eb9f24a98fa35e633c7f8916d48030ffa7 Mon Sep 17 00:00:00 2001 From: Andrei Gherzan Date: Tue, 2 Jul 2019 15:19:26 +0100 Subject: raspberrypi4-64.conf: Initial machine configuration Signed-off-by: Andrei Gherzan --- conf/machine/raspberrypi4-64.conf | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) 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" -- cgit v1.2.3-54-g00ecf