| #@TYPE: Machine |
| #@NAME: RaspberryPi 4 Development Board (64bit) |
| #@DESCRIPTION: Machine configuration for the RaspberryPi 4 in 64 bits mode |
| |
| MACHINEOVERRIDES = "raspberrypi4:${MACHINE}" |
| |
| MACHINE_FEATURES += "pci" |
| MACHINE_EXTRA_RRECOMMENDS += "\ |
| linux-firmware-rpidistro-bcm43455 \ |
| bluez-firmware-rpidistro-bcm4345c0-hcd \ |
| " |
| |
| require conf/machine/include/tune-cortexa72.inc |
| include conf/machine/include/rpi-base.inc |
| |
| RPI_KERNEL_DEVICETREE = " \ |
| broadcom/bcm2711-rpi-4-b.dtb \ |
| " |
| |
| SDIMG_KERNELIMAGE ?= "kernel8.img" |
| SERIAL_CONSOLES ?= "115200;ttyS0" |
| |
| UBOOT_MACHINE = "rpi_4_config" |
| |
| VC4DTBO ?= "vc4-fkms-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" |
| |
| RPI_EXTRA_CONFIG ?= "\n# Force arm in 64bit mode. See: https://github.com/raspberrypi/firmware/issues/1193.\narm_64bit=1" |
| |
| ARMSTUB ?= "armstub8-gic.bin" |