blob: 1bcf9311dd9b15ac07b0584996de8350e0ba6af8 [file] [log] [blame]
Brad Bishop26bdd442019-08-16 17:08:17 -04001#@TYPE: Machine
2#@NAME: RaspberryPi 4 Development Board (32bit)
3#@DESCRIPTION: Machine configuration for the RaspberryPi 4 in 32 bit mode
4
5DEFAULTTUNE ?= "cortexa7thf-neon-vfpv4"
6require conf/machine/include/tune-cortexa7.inc
7include conf/machine/include/rpi-base.inc
8
9MACHINE_EXTRA_RRECOMMENDS += "\
10 linux-firmware-rpidistro-bcm43455 \
11 bluez-firmware-rpidistro-bcm4345c0-hcd \
12"
13
14# 'l' stands for LPAE
15SDIMG_KERNELIMAGE ?= "kernel7l.img"
16UBOOT_MACHINE = "rpi_4_32b_config"
17SERIAL_CONSOLES ?= "115200;ttyS0"
18
Brad Bishop26bdd442019-08-16 17:08:17 -040019VC4DTBO ?= "vc4-fkms-v3d"
20ARMSTUB ?= "armstub7.bin"