raspberrypi4-64.conf: Initial machine configuration

Signed-off-by: Andrei Gherzan <andrei@gherzan.ro>
This commit is contained in:
Andrei Gherzan 2019-07-02 15:19:26 +01:00
parent d15e627049
commit 9e73b9eb9f

View File

@ -1,5 +1,5 @@
#@TYPE: Machine #@TYPE: Machine
#@NAME: RaspberryPi 4 Development Board #@NAME: RaspberryPi 4 Development Board (64bit)
#@DESCRIPTION: Machine configuration for the RaspberryPi 4 in 64 bits mode #@DESCRIPTION: Machine configuration for the RaspberryPi 4 in 64 bits mode
MACHINEOVERRIDES = "raspberrypi4:${MACHINE}" MACHINEOVERRIDES = "raspberrypi4:${MACHINE}"
@ -21,5 +21,8 @@ SERIAL_CONSOLES ?= "115200;ttyS0"
MACHINE_FEATURES_append = " vc4graphics" MACHINE_FEATURES_append = " vc4graphics"
VC4DTBO ?= "vc4-fkms-v3d" VC4DTBO ?= "vc4-fkms-v3d"
ARMSTUB ?= "armstub8-gic.bin"
KERNEL_IMAGETYPE_DIRECT ?= "Image" 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"