1#@TYPE: Machine 2#@NAME: RaspberryPi 3 Development Board 3#@DESCRIPTION: Machine configuration for the RaspberryPi 3 in 64 bits mode 4 5MACHINEOVERRIDES =. "raspberrypi3:" 6 7MACHINE_EXTRA_RRECOMMENDS += "\ 8 linux-firmware-rpidistro-bcm43430 \ 9 linux-firmware-rpidistro-bcm43455 \ 10 bluez-firmware-rpidistro-bcm43430a1-hcd \ 11 bluez-firmware-rpidistro-bcm4345c0-hcd \ 12" 13 14require conf/machine/include/arm/armv8a/tune-cortexa53.inc 15include conf/machine/include/rpi-base.inc 16 17RPI_KERNEL_DEVICETREE = " \ 18 broadcom/bcm2710-rpi-3-b.dtb \ 19 broadcom/bcm2710-rpi-3-b-plus.dtb \ 20 broadcom/bcm2837-rpi-3-b.dtb \ 21 broadcom/bcm2710-rpi-cm3.dtb \ 22 " 23 24SDIMG_KERNELIMAGE ?= "kernel8.img" 25# When u-boot is enabled we need to use the "Image" format and the "booti" 26# command to load the kernel 27KERNEL_IMAGETYPE_UBOOT ?= "Image" 28# "zImage" not supported on arm64 and ".gz" images not supported by bootloader yet 29KERNEL_IMAGETYPE_DIRECT ?= "Image" 30KERNEL_BOOTCMD ?= "booti" 31UBOOT_MACHINE = "rpi_arm64_config" 32SERIAL_CONSOLES ?= "115200;ttyS0" 33 34VC4DTBO ?= "vc4-fkms-v3d" 35ARMSTUB ?= "armstub8.bin" 36