1# SPDX-FileCopyrightText: Andrei Gherzan <andrei.gherzan@huawei.com> 2# 3# SPDX-License-Identifier: MIT 4 5KBUILD_DEFCONFIG:raspberrypi-armv7 = "bcm2709_defconfig" 6KERNEL_PACKAGE_NAME = "${RASPBERRYPI_v7_KERNEL_PACKAGE_NAME}" 7PROVIDES:remove = "virtual/kernel" 8 9KERNEL_IMAGETYPE_DIRECT ?= "zImage" 10 11COMPATIBLE_MACHINE = "^raspberrypi-armv7$" 12 13KERNEL_DEVICETREE = "" 14