blob: d8b8ec0c141707d87b18d35bc5372ceb00ee1a2f [file] [log] [blame]
Brad Bishop26bdd442019-08-16 17:08:17 -04001#@TYPE: Machine
2#@NAME: RaspberryPi 4 Development Board (64bit)
3#@DESCRIPTION: Machine configuration for the RaspberryPi 4 in 64 bits mode
4
5MACHINEOVERRIDES = "raspberrypi4:${MACHINE}"
6
Brad Bishop1b9ee292020-01-16 09:06:00 -05007MACHINE_FEATURES += "pci"
Brad Bishop26bdd442019-08-16 17:08:17 -04008MACHINE_EXTRA_RRECOMMENDS += "\
9 linux-firmware-rpidistro-bcm43455 \
10 bluez-firmware-rpidistro-bcm4345c0-hcd \
Andrew Geissler595f6302022-01-24 19:11:47 +000011 linux-firmware-rpidistro-bcm43456 \
12 bluez-firmware-rpidistro-bcm4345c5-hcd \
Brad Bishop26bdd442019-08-16 17:08:17 -040013"
14
Andrew Geissler7e0e3c02022-02-25 20:34:39 +000015DEFAULTTUNE = "cortexa72"
16
Andrew Geisslerd159c7f2021-09-02 21:05:58 -050017require conf/machine/include/arm/armv8a/tune-cortexa72.inc
Brad Bishop26bdd442019-08-16 17:08:17 -040018include conf/machine/include/rpi-base.inc
19
20RPI_KERNEL_DEVICETREE = " \
21 broadcom/bcm2711-rpi-4-b.dtb \
Andrew Geissler11105212021-02-12 15:30:38 -060022 broadcom/bcm2711-rpi-400.dtb \
23 broadcom/bcm2711-rpi-cm4.dtb \
Andrew Geissler87f5cff2022-09-30 13:13:31 -050024 broadcom/bcm2711-rpi-cm4s.dtb \
Brad Bishop26bdd442019-08-16 17:08:17 -040025"
26
27SDIMG_KERNELIMAGE ?= "kernel8.img"
28SERIAL_CONSOLES ?= "115200;ttyS0"
29
Andrew Geissler11105212021-02-12 15:30:38 -060030UBOOT_MACHINE = "rpi_arm64_config"
Brad Bishop26bdd442019-08-16 17:08:17 -040031
Andrew Geisslerd159c7f2021-09-02 21:05:58 -050032VC4DTBO ?= "vc4-kms-v3d"
Brad Bishop26bdd442019-08-16 17:08:17 -040033
34# When u-boot is enabled we need to use the "Image" format and the "booti"
35# command to load the kernel
36KERNEL_IMAGETYPE_UBOOT ?= "Image"
37# "zImage" not supported on arm64 and ".gz" images not supported by bootloader yet
38KERNEL_IMAGETYPE_DIRECT ?= "Image"
39KERNEL_BOOTCMD ?= "booti"
40
Brad Bishop26bdd442019-08-16 17:08:17 -040041ARMSTUB ?= "armstub8-gic.bin"