| Brad Bishop | 26bdd44 | 2019-08-16 17:08:17 -0400 | [diff] [blame] | 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 | |
| Brad Bishop | 1b9ee29 | 2020-01-16 09:06:00 -0500 | [diff] [blame] | 7 | MACHINE_FEATURES += "pci" |
| Brad Bishop | 26bdd44 | 2019-08-16 17:08:17 -0400 | [diff] [blame] | 8 | MACHINE_EXTRA_RRECOMMENDS += "\ |
| 9 | linux-firmware-rpidistro-bcm43455 \ |
| 10 | bluez-firmware-rpidistro-bcm4345c0-hcd \ |
| 11 | " |
| 12 | |
| 13 | require conf/machine/include/tune-cortexa72.inc |
| 14 | include conf/machine/include/rpi-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 | UBOOT_MACHINE = "rpi_4_config" |
| Brad Bishop | 26bdd44 | 2019-08-16 17:08:17 -0400 | [diff] [blame] | 24 | |
| 25 | VC4DTBO ?= "vc4-fkms-v3d" |
| 26 | |
| 27 | # When u-boot is enabled we need to use the "Image" format and the "booti" |
| 28 | # command to load the kernel |
| 29 | KERNEL_IMAGETYPE_UBOOT ?= "Image" |
| 30 | # "zImage" not supported on arm64 and ".gz" images not supported by bootloader yet |
| 31 | KERNEL_IMAGETYPE_DIRECT ?= "Image" |
| 32 | KERNEL_BOOTCMD ?= "booti" |
| 33 | |
| 34 | RPI_EXTRA_CONFIG ?= "\n# Force arm in 64bit mode. See: https://github.com/raspberrypi/firmware/issues/1193.\narm_64bit=1" |
| 35 | |
| 36 | ARMSTUB ?= "armstub8-gic.bin" |