mirror of
https://git.yoctoproject.org/meta-raspberrypi
synced 2026-04-20 11:28:19 +00:00
db1975714a
The rpi_arm64 configuration supports both Raspberry Pi 3 & 4 in 64-bit
mode. Switching to this config is a small step towards supporting a
unified build for these targets.
Signed-off-by: Paul Barker <pbarker@konsulko.com>
(cherry picked from commit a4a8ce9af4)
Signed-off-by: Ricardo Salveti <ricardo@foundries.io>
37 lines
1.0 KiB
Plaintext
37 lines
1.0 KiB
Plaintext
#@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_arm64_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"
|