1#@TYPE: Machine
2#@NAME: RaspberryPi 5 Development Board (64bit)
3#@DESCRIPTION: Machine configuration for the RaspberryPi 5 in 64 bits mode
4
5require conf/machine/include/arm/armv8-2a/tune-cortexa76.inc
6include conf/machine/include/rpi-base.inc
7
8MACHINE_FEATURES += "pci"
9MACHINE_EXTRA_RRECOMMENDS += "\
10    linux-firmware-rpidistro-bcm43455 \
11    bluez-firmware-rpidistro-bcm4345c0-hcd \
12    linux-firmware-rpidistro-bcm43456 \
13    bluez-firmware-rpidistro-bcm4345c5-hcd \
14"
15
16RPI_KERNEL_DEVICETREE = " \
17    broadcom/bcm2712-rpi-5-b.dtb \
18"
19
20SDIMG_KERNELIMAGE ?= "kernel_2712.img"
21SERIAL_CONSOLES ?= "115200;ttyAMA10"
22
23VC4DTBO ?= "vc4-kms-v3d"
24
25# "zImage" not supported on arm64 and ".gz" images not supported by bootloader yet
26KERNEL_IMAGETYPE_DIRECT ?= "Image"
27