126bdd445SBrad Bishop#@TYPE: Machine 226bdd445SBrad Bishop#@NAME: RaspberryPi 4 Development Board (64bit) 326bdd445SBrad Bishop#@DESCRIPTION: Machine configuration for the RaspberryPi 4 in 64 bits mode 426bdd445SBrad Bishop 5*e760df85SPatrick WilliamsMACHINEOVERRIDES =. "raspberrypi4:" 626bdd445SBrad Bishop 71b9ee293SBrad BishopMACHINE_FEATURES += "pci" 826bdd445SBrad BishopMACHINE_EXTRA_RRECOMMENDS += "\ 926bdd445SBrad Bishop linux-firmware-rpidistro-bcm43455 \ 1026bdd445SBrad Bishop bluez-firmware-rpidistro-bcm4345c0-hcd \ 11595f6308SAndrew Geissler linux-firmware-rpidistro-bcm43456 \ 12595f6308SAndrew Geissler bluez-firmware-rpidistro-bcm4345c5-hcd \ 1326bdd445SBrad Bishop" 1426bdd445SBrad Bishop 15d159c7fbSAndrew Geisslerrequire conf/machine/include/arm/armv8a/tune-cortexa72.inc 1626bdd445SBrad Bishopinclude conf/machine/include/rpi-base.inc 1726bdd445SBrad Bishop 1826bdd445SBrad BishopRPI_KERNEL_DEVICETREE = " \ 1926bdd445SBrad Bishop broadcom/bcm2711-rpi-4-b.dtb \ 2011105217SAndrew Geissler broadcom/bcm2711-rpi-400.dtb \ 2111105217SAndrew Geissler broadcom/bcm2711-rpi-cm4.dtb \ 2287f5cff0SAndrew Geissler broadcom/bcm2711-rpi-cm4s.dtb \ 2326bdd445SBrad Bishop" 2426bdd445SBrad Bishop 2526bdd445SBrad BishopSDIMG_KERNELIMAGE ?= "kernel8.img" 2626bdd445SBrad BishopSERIAL_CONSOLES ?= "115200;ttyS0" 2726bdd445SBrad Bishop 2811105217SAndrew GeisslerUBOOT_MACHINE = "rpi_arm64_config" 2926bdd445SBrad Bishop 30d159c7fbSAndrew GeisslerVC4DTBO ?= "vc4-kms-v3d" 3126bdd445SBrad Bishop 3226bdd445SBrad Bishop# When u-boot is enabled we need to use the "Image" format and the "booti" 3326bdd445SBrad Bishop# command to load the kernel 3426bdd445SBrad BishopKERNEL_IMAGETYPE_UBOOT ?= "Image" 3526bdd445SBrad Bishop# "zImage" not supported on arm64 and ".gz" images not supported by bootloader yet 3626bdd445SBrad BishopKERNEL_IMAGETYPE_DIRECT ?= "Image" 3726bdd445SBrad BishopKERNEL_BOOTCMD ?= "booti" 3826bdd445SBrad Bishop 3926bdd445SBrad BishopARMSTUB ?= "armstub8-gic.bin" 40