1# SPDX-FileCopyrightText: Andrei Gherzan <andrei.gherzan@huawei.com>
2#
3# SPDX-License-Identifier: MIT
4
5#@TYPE: Machine
6#@NAME: RaspberryPi Development Boards (32bit)
7#@DESCRIPTION: Machine configuration for the RaspberryPi boards in 32 bit mode
8
9DEFAULTTUNE ?= "cortexa7thf-neon-vfpv4"
10require conf/machine/include/arm/armv7a/tune-cortexa7.inc
11include conf/machine/include/rpi-base.inc
12
13# This machine includes by default the kernel for v7l. We hook in support for
14# v7.
15RASPBERRYPI_v7_KERNEL = "linux-raspberrypi-v7"
16RASPBERRYPI_v7_KERNEL_PACKAGE_NAME = "kernel-v7"
17RASPBERRYPI_v7_KERNEL_FILE ?= "kernel7.img"
18# We don't need a lot for v7l because it is the default provider,
19# virtual/kernel.
20RASPBERRYPI_v7l_KERNEL_FILE ?= "kernel7l.img"
21
22MACHINE_FEATURES += "pci"
23MACHINE_EXTRA_RRECOMMENDS += "\
24    linux-firmware-rpidistro-bcm43430 \
25    linux-firmware-rpidistro-bcm43436 \
26    linux-firmware-rpidistro-bcm43436s \
27    linux-firmware-rpidistro-bcm43455 \
28    linux-firmware-rpidistro-bcm43456 \
29    bluez-firmware-rpidistro-bcm43430a1-hcd \
30    bluez-firmware-rpidistro-bcm43430b0-hcd \
31    bluez-firmware-rpidistro-bcm4345c0-hcd \
32    bluez-firmware-rpidistro-bcm4345c5-hcd \
33"
34
35# FIXME: This machine doesn't support u-boot (yet)
36RPI_EXTRA_IMAGE_BOOT_FILES = " \
37	${KERNEL_IMAGETYPE};${RASPBERRYPI_v7l_KERNEL_FILE} \
38	${RASPBERRYPI_v7_KERNEL_PACKAGE_NAME}/${KERNEL_IMAGETYPE};${RASPBERRYPI_v7_KERNEL_FILE} \
39"
40