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 \ |
Andrew Geissler | 1110521 | 2021-02-12 15:30:38 -0600 | [diff] [blame] | 18 | broadcom/bcm2711-rpi-400.dtb \ |
| 19 | broadcom/bcm2711-rpi-cm4.dtb \ |
Brad Bishop | 26bdd44 | 2019-08-16 17:08:17 -0400 | [diff] [blame] | 20 | " |
| 21 | |
| 22 | SDIMG_KERNELIMAGE ?= "kernel8.img" |
| 23 | SERIAL_CONSOLES ?= "115200;ttyS0" |
| 24 | |
Andrew Geissler | 1110521 | 2021-02-12 15:30:38 -0600 | [diff] [blame] | 25 | UBOOT_MACHINE = "rpi_arm64_config" |
Brad Bishop | 26bdd44 | 2019-08-16 17:08:17 -0400 | [diff] [blame] | 26 | |
| 27 | VC4DTBO ?= "vc4-fkms-v3d" |
| 28 | |
| 29 | # When u-boot is enabled we need to use the "Image" format and the "booti" |
| 30 | # command to load the kernel |
| 31 | KERNEL_IMAGETYPE_UBOOT ?= "Image" |
| 32 | # "zImage" not supported on arm64 and ".gz" images not supported by bootloader yet |
| 33 | KERNEL_IMAGETYPE_DIRECT ?= "Image" |
| 34 | KERNEL_BOOTCMD ?= "booti" |
| 35 | |
Brad Bishop | 26bdd44 | 2019-08-16 17:08:17 -0400 | [diff] [blame] | 36 | ARMSTUB ?= "armstub8-gic.bin" |