1#@TYPE: Machine
2#@NAME: RaspberryPi 3 Development Board (32bit)
3#@DESCRIPTION: Machine configuration for the RaspberryPi 3 in 32 bits 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-bcm43430 \
11    linux-firmware-rpidistro-bcm43455 \
12    bluez-firmware-rpidistro-bcm43430a1-hcd \
13    bluez-firmware-rpidistro-bcm4345c0-hcd \
14"
15
16SDIMG_KERNELIMAGE ?= "kernel7.img"
17UBOOT_MACHINE = "rpi_3_32b_config"
18SERIAL_CONSOLES ?= "115200;ttyS0"
19
20VC4DTBO ?= "vc4-fkms-v3d"
21ARMSTUB ?= "armstub7.bin"
22