| BR2_arm=y |
| BR2_cortex_a7=y |
| BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_6_9=y |
| BR2_GLOBAL_PATCH_DIR="board/stmicroelectronics/common/stm32mp1xx/patches" |
| BR2_DOWNLOAD_FORCE_CHECK_HASHES=y |
| BR2_ROOTFS_OVERLAY="board/stmicroelectronics/stm32mp157a-dk1/overlay/" |
| BR2_ROOTFS_POST_IMAGE_SCRIPT="board/stmicroelectronics/common/stm32mp1xx/post-image.sh" |
| BR2_LINUX_KERNEL=y |
| BR2_LINUX_KERNEL_CUSTOM_VERSION=y |
| BR2_LINUX_KERNEL_CUSTOM_VERSION_VALUE="6.9.8" |
| BR2_LINUX_KERNEL_USE_CUSTOM_CONFIG=y |
| BR2_LINUX_KERNEL_CUSTOM_CONFIG_FILE="board/stmicroelectronics/stm32mp157a-dk1/linux.config" |
| BR2_LINUX_KERNEL_DTS_SUPPORT=y |
| BR2_LINUX_KERNEL_INTREE_DTS_NAME="st/stm32mp157a-dk1" |
| BR2_LINUX_KERNEL_INSTALL_TARGET=y |
| BR2_TARGET_ROOTFS_EXT2=y |
| BR2_TARGET_ROOTFS_EXT2_4=y |
| BR2_TARGET_ROOTFS_EXT2_SIZE="120M" |
| # BR2_TARGET_ROOTFS_TAR is not set |
| BR2_TARGET_ARM_TRUSTED_FIRMWARE=y |
| BR2_TARGET_ARM_TRUSTED_FIRMWARE_CUSTOM_VERSION=y |
| BR2_TARGET_ARM_TRUSTED_FIRMWARE_CUSTOM_VERSION_VALUE="v2.9" |
| BR2_TARGET_ARM_TRUSTED_FIRMWARE_PLATFORM="stm32mp1" |
| BR2_TARGET_ARM_TRUSTED_FIRMWARE_FIP=y |
| BR2_TARGET_ARM_TRUSTED_FIRMWARE_BL31=y |
| BR2_TARGET_ARM_TRUSTED_FIRMWARE_UBOOT_AS_BL33=y |
| BR2_TARGET_ARM_TRUSTED_FIRMWARE_UBOOT_BL33_IMAGE="u-boot-nodtb.bin" |
| BR2_TARGET_ARM_TRUSTED_FIRMWARE_ADDITIONAL_VARIABLES="STM32MP_SDMMC=1 AARCH32_SP=sp_min DTB_FILE_NAME=stm32mp157a-dk1.dtb E=0 BL33_CFG=$(BINARIES_DIR)/u-boot.dtb" |
| BR2_TARGET_ARM_TRUSTED_FIRMWARE_IMAGES="fip.bin *.stm32" |
| BR2_TARGET_ARM_TRUSTED_FIRMWARE_NEEDS_DTC=y |
| BR2_TARGET_UBOOT=y |
| BR2_TARGET_UBOOT_BUILD_SYSTEM_KCONFIG=y |
| BR2_TARGET_UBOOT_CUSTOM_VERSION=y |
| BR2_TARGET_UBOOT_CUSTOM_VERSION_VALUE="2024.07" |
| BR2_TARGET_UBOOT_BOARD_DEFCONFIG="stm32mp15_trusted" |
| BR2_TARGET_UBOOT_NEEDS_PYLIBFDT=y |
| BR2_TARGET_UBOOT_NEEDS_OPENSSL=y |
| # BR2_TARGET_UBOOT_FORMAT_BIN is not set |
| BR2_TARGET_UBOOT_FORMAT_DTB=y |
| BR2_TARGET_UBOOT_FORMAT_CUSTOM=y |
| BR2_TARGET_UBOOT_FORMAT_CUSTOM_NAME="u-boot-nodtb.bin" |
| BR2_TARGET_UBOOT_CUSTOM_MAKEOPTS="DEVICE_TREE=stm32mp157a-dk1" |
| BR2_PACKAGE_HOST_GENIMAGE=y |
