meta-agl-bsp/conf/machine/raspberrypi4.conf

   1 #@TYPE: Machine
   2 #@NAME: RaspberryPi 4 Development Board (64bit)
   3 #@DESCRIPTION: Machine configuration for the RaspberryPi 4 in 64 bits mode
   4
   5 MACHINEOVERRIDES = "raspberrypi4:${MACHINE}"
   6
   7 MACHINE_EXTRA_RRECOMMENDS += "\
   8     linux-firmware-rpidistro-bcm43455 \
   9     bluez-firmware-rpidistro-bcm4345c0-hcd \
  10     pi-bluetooth \
  11 "
  12
  13 require conf/machine/include/arm/arch-arm64.inc
  14 include conf/machine/include/rpi4-base.inc
  15
  16 RPI_KERNEL_DEVICETREE = " \
  17     broadcom/bcm2711-rpi-4-b.dtb \
  18 "
  19
  20 SDIMG_KERNELIMAGE ?= "kernel8.img"
  21 SERIAL_CONSOLES ?= "115200;ttyS0"
  22
  23 MACHINE_FEATURES_append = " vc4graphics"
  24 UBOOT_MACHINE = "rpi_4_config"
  25
  26 VC4DTBO ?= "vc4-fkms-v3d"
  27
  28 # When u-boot is enabled we need to use the "Image" format and the "booti"
  29 # command to load the kernel
  30 KERNEL_IMAGETYPE_UBOOT ?= "Image"
  31 # "zImage" not supported on arm64 and ".gz" images not supported by bootloader yet
  32 KERNEL_IMAGETYPE_DIRECT ?= "Image"
  33 KERNEL_BOOTCMD ?= "booti"
  34
  35 RPI_EXTRA_CONFIG ?= "\n# Force arm in 64bit mode. See: https://github.com/raspberrypi/firmware/issues/1193.\narm_64bit=1"
  36
  37 ARMSTUB ?= "armstub8-gic.bin"