| 1234567891011121314151617181920212223242526272829303132333435363738 |
- #@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 \
- 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 \
- "
- 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"
|
