| #@TYPE: Machine |
| #@NAME: RaspberryPi 4 Development Board (64bit) |
| #@DESCRIPTION: Machine configuration for the RaspberryPi 4 in 64 bits mode |
| |
| MACHINEOVERRIDES =. "raspberrypi4:" |
| |
| MACHINE_FEATURES += "pci" |
| MACHINE_EXTRA_RRECOMMENDS += "\ |
| linux-firmware-rpidistro-bcm43455 \ |
| bluez-firmware-rpidistro-bcm4345c0-hcd \ |
| linux-firmware-rpidistro-bcm43456 \ |
| bluez-firmware-rpidistro-bcm4345c5-hcd \ |
| " |
| |
| require conf/machine/include/arm/armv8a/tune-cortexa72.inc |
| include conf/machine/include/rpi-base.inc |
| |
| RPI_KERNEL_DEVICETREE = " \ |
| broadcom/bcm2711-rpi-4-b.dtb \ |
| broadcom/bcm2711-rpi-400.dtb \ |
| broadcom/bcm2711-rpi-cm4.dtb \ |
| broadcom/bcm2711-rpi-cm4s.dtb \ |
| " |
| |
| SDIMG_KERNELIMAGE ?= "kernel8.img" |
| SERIAL_CONSOLES ?= "115200;ttyS0" |
| |
| UBOOT_MACHINE = "rpi_arm64_config" |
| |
| VC4DTBO ?= "vc4-kms-v3d" |
| |
| # When u-boot is enabled we need to use the "Image" format and the "booti" |
| # command to load the kernel |
| KERNEL_IMAGETYPE_UBOOT ?= "Image" |
| # "zImage" not supported on arm64 and ".gz" images not supported by bootloader yet |
| KERNEL_IMAGETYPE_DIRECT ?= "Image" |
| KERNEL_BOOTCMD ?= "booti" |
| |
| ARMSTUB ?= "armstub8-gic.bin" |