raspberrypi4-64.conf 1.1 KB

123456789101112131415161718192021222324252627282930313233343536373839
  1. #@TYPE: Machine
  2. #@NAME: RaspberryPi 4 Development Board (64bit)
  3. #@DESCRIPTION: Machine configuration for the RaspberryPi 4 in 64 bits mode
  4. MACHINEOVERRIDES =. "raspberrypi4:"
  5. MACHINE_FEATURES += "pci"
  6. MACHINE_EXTRA_RRECOMMENDS += "\
  7. linux-firmware-rpidistro-bcm43455 \
  8. bluez-firmware-rpidistro-bcm4345c0-hcd \
  9. linux-firmware-rpidistro-bcm43456 \
  10. bluez-firmware-rpidistro-bcm4345c5-hcd \
  11. "
  12. require conf/machine/include/arm/armv8a/tune-cortexa72.inc
  13. include conf/machine/include/rpi-base.inc
  14. RPI_KERNEL_DEVICETREE = " \
  15. broadcom/bcm2711-rpi-4-b.dtb \
  16. broadcom/bcm2711-rpi-400.dtb \
  17. broadcom/bcm2711-rpi-cm4.dtb \
  18. broadcom/bcm2711-rpi-cm4s.dtb \
  19. "
  20. SDIMG_KERNELIMAGE ?= "kernel8.img"
  21. SERIAL_CONSOLES ?= "115200;ttyS0"
  22. UBOOT_MACHINE = "rpi_arm64_config"
  23. VC4DTBO ?= "vc4-kms-v3d"
  24. # When u-boot is enabled we need to use the "Image" format and the "booti"
  25. # command to load the kernel
  26. KERNEL_IMAGETYPE_UBOOT ?= "Image"
  27. # "zImage" not supported on arm64 and ".gz" images not supported by bootloader yet
  28. KERNEL_IMAGETYPE_DIRECT ?= "Image"
  29. KERNEL_BOOTCMD ?= "booti"
  30. ARMSTUB ?= "armstub8-gic.bin"