1#@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 19MACHINE_FEATURES_append = " vc4graphics" 20VC4DTBO ?= "vc4-fkms-v3d" 21ARMSTUB ?= "armstub7.bin" 22