| #@TYPE: Machine |
| #@NAME: RaspberryPi 3 Development Board |
| #@DESCRIPTION: Machine configuration for the RaspberryPi 3 in 64 bits mode |
| |
| MACHINEOVERRIDES = "raspberrypi3:${MACHINE}" |
| |
| MACHINE_EXTRA_RRECOMMENDS += "\ |
| linux-firmware-bcm43430 \ |
| linux-firmware-bcm43455 \ |
| linux-firmware-bcm43430a1-hcd \ |
| linux-firmware-bcm4345c0-hcd \ |
| " |
| |
| require conf/machine/include/arm/arch-armv8.inc |
| include conf/machine/include/rpi-base.inc |
| |
| KERNEL_DEVICETREE = " \ |
| broadcom/bcm2710-rpi-3-b.dtb \ |
| broadcom/bcm2710-rpi-3-b-plus.dtb \ |
| broadcom/bcm2837-rpi-3-b.dtb \ |
| \ |
| overlays/hifiberry-amp.dtbo \ |
| overlays/hifiberry-dac.dtbo \ |
| overlays/hifiberry-dacplus.dtbo \ |
| overlays/hifiberry-digi.dtbo \ |
| overlays/i2c-rtc.dtbo \ |
| overlays/iqaudio-dac.dtbo \ |
| overlays/iqaudio-dacplus.dtbo \ |
| overlays/lirc-rpi.dtbo \ |
| overlays/pitft22.dtbo \ |
| overlays/pitft28-resistive.dtbo \ |
| overlays/pitft35-resistive.dtbo \ |
| overlays/pps-gpio.dtbo \ |
| overlays/rpi-ft5406.dtbo \ |
| overlays/w1-gpio.dtbo \ |
| overlays/w1-gpio-pullup.dtbo \ |
| overlays/pi3-disable-bt.dtbo \ |
| overlays/pi3-miniuart-bt.dtbo \ |
| overlays/vc4-kms-v3d.dtbo \ |
| overlays/vc4-fkms-v3d.dtbo \ |
| " |
| |
| SERIAL_CONSOLE ?= "115200 ttyS0" |
| VC4_CMA_SIZE ?= "cma-256" |
| |
| UBOOT_MACHINE = "rpi_3_config" |
| MACHINE_FEATURES_append = " vc4graphics" |
| |
| # 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" |