[DistroKit] [PATCH 07/12] beagleplay: barebox: first stage bootloader for Cortex-R5

[Lars Schmidt <l.schmidt@pengutronix.de>]

The first stage of BeaglePlay's is happening on its
32bit Coretex-R5 core. So this needs a separate barebox
stage in order to boot up the BeaglePlay.
This also needs a separate 32bit toolchain selected in
order to compile

Link: https://git.pengutronix.de/cgit/barebox/tree/Documentation/boards/ti-k3.rst
Signed-off-by: Lars Schmidt <l.schmidt@pengutronix.de>
---
 configs/platform-v8a/barebox-r5.config       | 700 +++++++++++++++++++
 configs/platform-v8a/platforms/barebox-r5.in |  15 +
 configs/platform-v8a/rules/barebox-r5.make   |  99 +++
 3 files changed, 814 insertions(+)
 create mode 100644 configs/platform-v8a/barebox-r5.config
 create mode 100644 configs/platform-v8a/platforms/barebox-r5.in
 create mode 100644 configs/platform-v8a/rules/barebox-r5.make

diff --git a/configs/platform-v8a/barebox-r5.config b/configs/platform-v8a/barebox-r5.config
new file mode 100644
index 0000000..5edfeaf
--- /dev/null
+++ b/configs/platform-v8a/barebox-r5.config
@@ -0,0 +1,700 @@
+#
+# Automatically generated file; DO NOT EDIT.
+# Barebox/arm 2025.05.0 Configuration
+#
+CONFIG_ARM=y
+CONFIG_ARCH_LINUX_NAME="arm"
+CONFIG_ARCH_MKIMAGE_NAME="arm"
+CONFIG_ARM32=y
+CONFIG_ARCH_TEXT_BASE=0x00000000
+
+#
+# System Type
+#
+CONFIG_ARCH_MULTIARCH=y
+# CONFIG_ARCH_AT91 is not set
+# CONFIG_ARCH_CLPS711X is not set
+# CONFIG_ARCH_MVEBU is not set
+# CONFIG_ARCH_MXS is not set
+# CONFIG_ARCH_PXA is not set
+# CONFIG_ARCH_SOCFPGA is not set
+# CONFIG_ARCH_TEGRA is not set
+# CONFIG_ARCH_ZYNQ is not set
+# CONFIG_ARCH_BCM283X is not set
+# CONFIG_ARCH_IMX is not set
+CONFIG_ARCH_K3=y
+# CONFIG_ARCH_SUNXI is not set
+# CONFIG_ARCH_LAYERSCAPE is not set
+# CONFIG_ARCH_OMAP_MULTI is not set
+# CONFIG_ARCH_ROCKCHIP is not set
+# CONFIG_ARCH_STM32MP is not set
+# CONFIG_ARCH_VERSATILE is not set
+# CONFIG_ARCH_VEXPRESS is not set
+
+#
+# Processor Type
+#
+CONFIG_CPU_32=y
+CONFIG_CPU_V7=y
+CONFIG_CPU_32v7=y
+
+#
+# processor features
+#
+# CONFIG_BOOT_ENDIANNESS_SWITCH is not set
+CONFIG_ARMV7R_MPU=y
+
+#
+# K3 boards
+#
+CONFIG_MACH_K3_CORTEX_R5=y
+CONFIG_MACH_AM625_SK=y
+CONFIG_MACH_BEAGLEPLAY=y
+# CONFIG_ARCH_K3_AUTHENTICATE_IMAGE is not set
+# end of K3 boards
+
+CONFIG_AEABI=y
+# CONFIG_THUMB2_BAREBOX is not set
+# end of System Type
+
+# CONFIG_64BIT is not set
+CONFIG_32BIT=y
+
+#
+# ARM specific settings
+#
+CONFIG_ARM_OPTIMZED_STRING_FUNCTIONS=y
+CONFIG_ARM_EXCEPTIONS=y
+# CONFIG_ARM_UNWIND is not set
+# CONFIG_ARM_SEMIHOSTING is not set
+# CONFIG_ARM_PSCI_CLIENT is not set
+# end of ARM specific settings
+
+#
+# General architecture-dependent options
+#
+# CONFIG_BOARD_GENERIC_DT is not set
+# end of General architecture-dependent options
+
+CONFIG_ARCH_HAS_DATA_ABORT_MASK=y
+CONFIG_ARCH_HAS_ZERO_PAGE=y
+CONFIG_HAVE_ARCH_BOARD_GENERIC_DT=y
+CONFIG_HAVE_MOD_ARCH_SPECIFIC=y
+CONFIG_ARCH_HAS_SJLJ=y
+CONFIG_HAS_DEBUG_LL=y
+CONFIG_HAVE_ARCH_KASAN=y
+CONFIG_CC_IS_GCC=y
+CONFIG_GCC_VERSION=140201
+CONFIG_CLANG_VERSION=0
+CONFIG_HAS_KALLSYMS=y
+CONFIG_HAS_MODULES=y
+CONFIG_HAS_DMA=y
+CONFIG_GENERIC_GPIO=y
+CONFIG_BLOCK=y
+CONFIG_FILETYPE=y
+
+#
+# General Settings
+#
+CONFIG_LOCALVERSION=""
+CONFIG_LOCALVERSION_AUTO=y
+CONFIG_HAS_INSECURE_DEFAULTS=y
+CONFIG_INSECURE=y
+CONFIG_BANNER=y
+# CONFIG_MEMINFO is not set
+CONFIG_ENVIRONMENT_VARIABLES=y
+# CONFIG_GLOBALVAR is not set
+
+#
+# memory layout
+#
+CONFIG_HAVE_PBL_IMAGE=y
+CONFIG_HAVE_PBL_MULTI_IMAGES=y
+CONFIG_HAVE_IMAGE_COMPRESSION=y
+CONFIG_PBL_IMAGE=y
+CONFIG_PBL_MULTI_IMAGES=y
+CONFIG_USE_COMPRESSED_DTB=y
+CONFIG_PBL_RELOCATABLE=y
+CONFIG_IMAGE_COMPRESSION=y
+# CONFIG_IMAGE_COMPRESSION_LZ4 is not set
+# CONFIG_IMAGE_COMPRESSION_LZO is not set
+# CONFIG_IMAGE_COMPRESSION_GZIP is not set
+CONFIG_IMAGE_COMPRESSION_XZKERN=y
+# CONFIG_IMAGE_COMPRESSION_NONE is not set
+# CONFIG_MMU is not set
+CONFIG_BAREBOX_MAX_IMAGE_SIZE=0x10000000
+CONFIG_BAREBOX_MAX_PBL_SIZE=0xffffffff
+CONFIG_BAREBOX_MAX_BARE_INIT_SIZE=0xffffffff
+CONFIG_STACK_SIZE=0x8000
+CONFIG_MALLOC_SIZE=0x0
+CONFIG_MALLOC_ALIGNMENT=8
+# end of memory layout
+
+# CONFIG_EXPERIMENTAL is not set
+# CONFIG_MALLOC_DLMALLOC is not set
+CONFIG_MALLOC_TLSF=y
+# CONFIG_MALLOC_DUMMY is not set
+CONFIG_KALLSYMS=y
+CONFIG_RELOCATABLE=y
+# CONFIG_PANIC_POWEROFF is not set
+# CONFIG_PANIC_HANG is not set
+CONFIG_PANIC_RESET=y
+CONFIG_PROMPT="MLO>"
+CONFIG_BAUDRATE=115200
+CONFIG_SIMPLE_READLINE=y
+CONFIG_CBSIZE=1024
+CONFIG_FIRMWARE=y
+# CONFIG_SHELL_HUSH is not set
+# CONFIG_SHELL_SIMPLE is not set
+CONFIG_SHELL_NONE=y
+# CONFIG_GLOB is not set
+# CONFIG_PASSWORD is not set
+# CONFIG_ERRNO_MESSAGES is not set
+# CONFIG_BOOTM is not set
+CONFIG_ELF=y
+# CONFIG_BAREBOX_UPDATE is not set
+# CONFIG_IMD is not set
+CONFIG_CONSOLE_FULL=y
+# CONFIG_CONSOLE_SIMPLE is not set
+# CONFIG_CONSOLE_NONE is not set
+# CONFIG_CONSOLE_ACTIVATE_FIRST is not set
+# CONFIG_CONSOLE_ACTIVATE_ALL is not set
+# CONFIG_CONSOLE_ACTIVATE_ALL_FALLBACK is not set
+CONFIG_CONSOLE_ACTIVATE_NONE=y
+# CONFIG_CONSOLE_ALLOW_COLOR is not set
+CONFIG_CONSOLE_FLUSH_LINE_BREAK=y
+# CONFIG_CONSOLE_DISABLE_INPUT is not set
+CONFIG_PBL_CONSOLE=y
+CONFIG_PARTITION=y
+CONFIG_PARTITION_DISK=y
+CONFIG_PARTITION_DISK_DOS=y
+# CONFIG_PARTITION_DISK_EFI is not set
+# CONFIG_ENV_HANDLING is not set
+# CONFIG_DEFAULT_ENVIRONMENT is not set
+CONFIG_DEFAULT_COMPRESSION_NONE=y
+CONFIG_HAS_SCHED=y
+CONFIG_POLLER=y
+CONFIG_BTHREAD=y
+# CONFIG_STATE is not set
+# CONFIG_BOOTCHOOSER is not set
+# CONFIG_BOOT_DEFAULTS is not set
+# CONFIG_BAREBOX_DT_2ND is not set
+CONFIG_EXTERNAL_DTS_FRAGMENTS=""
+
+#
+# OP-TEE loading
+#
+# CONFIG_PBL_OPTEE is not set
+CONFIG_FILETYPE_STRINGS=y
+# end of OP-TEE loading
+# end of General Settings
+
+#
+# Debugging
+#
+CONFIG_COMPILE_LOGLEVEL=6
+CONFIG_DEFAULT_LOGLEVEL=7
+CONFIG_DEBUG_LL=y
+CONFIG_DEBUG_AM62X_UART=y
+CONFIG_DEBUG_K3_UART_PORT=0
+# CONFIG_DEBUG_INITCALLS is not set
+# CONFIG_DEBUG_PBL is not set
+CONFIG_DEBUG_PROBES=y
+# CONFIG_DMA_API_DEBUG is not set
+# CONFIG_DEBUG_LIST is not set
+# CONFIG_DEBUG_RESOURCES is not set
+# CONFIG_PBL_BREAK is not set
+# CONFIG_PRINTF_FULL is not set
+# CONFIG_UBSAN is not set
+CONFIG_CC_HAS_KASAN_GENERIC=y
+# CONFIG_KASAN is not set
+# CONFIG_COMPILE_TEST is not set
+# CONFIG_WERROR is not set
+
+#
+# arm Debugging
+#
+# end of Debugging
+
+#
+# EFI (Extensible Firmware Interface) Support
+#
+CONFIG_HAVE_EFI_STUB=y
+# end of EFI (Extensible Firmware Interface) Support
+
+# CONFIG_NET is not set
+
+#
+# Drivers
+#
+CONFIG_PM_GENERIC_DOMAINS=y
+CONFIG_REGMAP_FORMATTED=y
+CONFIG_REGMAP_I2C=y
+CONFIG_OFTREE=y
+CONFIG_OFTREE_MEM_GENERIC=y
+CONFIG_DTC=y
+CONFIG_OF=y
+CONFIG_OFDEVICE=y
+CONFIG_OF_GPIO=y
+# CONFIG_OF_OVERLAY is not set
+# CONFIG_AIODEV is not set
+
+#
+# serial drivers
+#
+# CONFIG_SERIAL_DEV_BUS is not set
+# CONFIG_DRIVER_SERIAL_ARM_DCC is not set
+CONFIG_DRIVER_SERIAL_NS16550=y
+# CONFIG_DRIVER_SERIAL_CADENCE is not set
+# CONFIG_SERIAL_SIFIVE is not set
+# end of serial drivers
+
+#
+# SPI drivers
+#
+# CONFIG_SPI is not set
+# end of SPI drivers
+
+CONFIG_I2C=y
+
+#
+# I2C Hardware Bus support
+#
+# CONFIG_I2C_GPIO is not set
+# CONFIG_I2C_DESIGNWARE is not set
+# CONFIG_I2C_MV64XXX is not set
+CONFIG_I2C_OMAP=y
+# end of I2C Hardware Bus support
+
+# CONFIG_I2C_MUX is not set
+# CONFIG_MTD is not set
+CONFIG_DISK=y
+# CONFIG_DISK_WRITE is not set
+
+#
+# drive types
+#
+# CONFIG_DISK_ATA is not set
+# CONFIG_DISK_AHCI is not set
+
+#
+# interface types
+#
+# CONFIG_DISK_INTF_PLATFORM_IDE is not set
+CONFIG_USB=y
+CONFIG_USB_HOST=y
+# CONFIG_USB_DWC2_HOST is not set
+# CONFIG_USB_DWC2_GADGET is not set
+CONFIG_USB_DWC3=y
+# CONFIG_USB_DWC3_HOST is not set
+CONFIG_USB_DWC3_GADGET=y
+# CONFIG_USB_DWC3_DUAL_ROLE is not set
+# CONFIG_USB_DWC3_OF_SIMPLE is not set
+CONFIG_USB_DWC3_AM62=y
+# CONFIG_USB_EHCI is not set
+# CONFIG_USB_OHCI is not set
+CONFIG_USB_XHCI=y
+# CONFIG_USB_ULPI is not set
+CONFIG_USB_OTGDEV=y
+# CONFIG_USB_STORAGE is not set
+
+#
+# USB Miscellaneous drivers
+#
+# CONFIG_USB_HUB_USB251XB is not set
+# CONFIG_USB_ONBOARD_HUB is not set
+# CONFIG_TYPEC_TUSB320 is not set
+CONFIG_USB_GADGET=y
+
+#
+# USB Gadget drivers
+#
+CONFIG_USB_GADGET_DFU=y
+# CONFIG_USB_GADGET_SERIAL is not set
+# CONFIG_USB_GADGET_FASTBOOT is not set
+CONFIG_USB_GADGET_MASS_STORAGE=y
+# CONFIG_USB_MUSB is not set
+# CONFIG_VIDEO is not set
+# CONFIG_SOUND is not set
+CONFIG_MCI_SDHCI=y
+CONFIG_MCI=y
+
+#
+# --- Feature list ---
+#
+# CONFIG_MCI_TUNING is not set
+# CONFIG_MCI_STARTUP is not set
+# CONFIG_MCI_WRITE is not set
+CONFIG_MCI_MMC_BOOT_PARTITIONS=y
+# CONFIG_MCI_MMC_GPP_PARTITIONS is not set
+CONFIG_MCI_MMC_RPMB=y
+
+#
+# --- MCI host drivers ---
+#
+# CONFIG_MCI_DWC_MSHC is not set
+# CONFIG_MCI_DW is not set
+# CONFIG_MCI_SUNXI_SMHC is not set
+# CONFIG_MCI_ROCKCHIP_DWCMSHC is not set
+# CONFIG_MCI_ARASAN is not set
+CONFIG_MCI_AM654=y
+CONFIG_HAVE_CLK=y
+CONFIG_CLKDEV_LOOKUP=y
+CONFIG_COMMON_CLK=y
+CONFIG_COMMON_CLK_OF_PROVIDER=y
+# CONFIG_TI_SCI_CLK is not set
+CONFIG_COMMON_CLK_GPIO=y
+
+#
+# Clocksource
+#
+CONFIG_CLOCKSOURCE_DUMMY_RATE=1000
+CONFIG_CLOCKSOURCE_ARM_ARCHITECTED_TIMER=y
+# CONFIG_CLOCKSOURCE_DW_APB_TIMER is not set
+CONFIG_CLOCKSOURCE_TI_DM=y
+# end of Clocksource
+
+#
+# Multifunction device drivers
+#
+# CONFIG_MFD_ACT8846 is not set
+# CONFIG_MFD_DA9053 is not set
+# CONFIG_MFD_DA9063 is not set
+# CONFIG_MFD_LP3972 is not set
+# CONFIG_MFD_MC13XXX is not set
+# CONFIG_MFD_MC34704 is not set
+# CONFIG_MFD_MC9SDZ60 is not set
+# CONFIG_MFD_STMPE is not set
+CONFIG_MFD_SYSCON=y
+CONFIG_MFD_TPS65219=y
+# CONFIG_MFD_TWL4030 is not set
+# CONFIG_MFD_TWL6030 is not set
+# CONFIG_MFD_STPMIC1 is not set
+# CONFIG_MFD_PCA9450 is not set
+# CONFIG_MFD_RN568PMIC is not set
+# CONFIG_MFD_ATMEL_FLEXCOM is not set
+# CONFIG_MFD_RK808 is not set
+# CONFIG_MFD_AXP20X_I2C is not set
+# CONFIG_MFD_ROHM_BD718XX is not set
+# end of Multifunction device drivers
+
+#
+# Misc devices
+#
+# CONFIG_JTAG is not set
+# CONFIG_SRAM is not set
+# CONFIG_DEV_MEM is not set
+# CONFIG_UBOOTVAR is not set
+# CONFIG_STORAGE_BY_ALIAS is not set
+# end of Misc devices
+
+# CONFIG_LED is not set
+
+#
+# EEPROM support
+#
+# CONFIG_EEPROM_AT24 is not set
+# end of EEPROM support
+
+#
+# Input device support
+#
+# CONFIG_INPUT_EVBUG is not set
+# CONFIG_KEYBOARD_GPIO is not set
+# CONFIG_KEYBOARD_QT1070 is not set
+# CONFIG_KEYBOARD_USB is not set
+# CONFIG_INPUT_SPECIALKEYS is not set
+# end of Input device support
+
+# CONFIG_WATCHDOG is not set
+# CONFIG_PWM is not set
+# CONFIG_HWRNG is not set
+
+#
+# DMA support
+#
+# CONFIG_DMADEVICES is not set
+# end of DMA support
+
+CONFIG_GPIOLIB=y
+
+#
+# GPIO
+#
+# CONFIG_GPIO_74XX_MMIO is not set
+CONFIG_GPIO_DAVINCI=y
+# CONFIG_GPIO_GENERIC_PLATFORM is not set
+# CONFIG_GPIO_PCA953X is not set
+# CONFIG_GPIO_PCF857X is not set
+# CONFIG_GPIO_DESIGNWARE is not set
+# CONFIG_GPIO_SX150X is not set
+# CONFIG_GPIO_SIFIVE is not set
+# CONFIG_GPIO_LATCH is not set
+# end of GPIO
+
+# CONFIG_W1 is not set
+
+#
+# Pin controllers
+#
+CONFIG_PINCTRL=y
+CONFIG_PINCTRL_SINGLE=y
+# end of Pin controllers
+
+# CONFIG_NVMEM is not set
+
+#
+# Bus devices
+#
+# end of Bus devices
+
+CONFIG_REGULATOR=y
+CONFIG_REGULATOR_FIXED=y
+# CONFIG_REGULATOR_FAN53555 is not set
+CONFIG_REGULATOR_TPS65219=y
+# CONFIG_REGULATOR_ANATOP is not set
+
+#
+# Remoteproc drivers
+#
+CONFIG_REMOTEPROC=y
+CONFIG_REMOTEPROC_TI_K3_ARM64=y
+CONFIG_REMOTEPROC_K3_SYSTEM_CONTROLLER=y
+# end of Remoteproc drivers
+
+# CONFIG_RESET_CONTROLLER is not set
+# CONFIG_RTC_CLASS is not set
+
+#
+# Firmware Drivers
+#
+# CONFIG_QEMU_FW_CFG is not set
+CONFIG_TI_SCI_PROTOCOL=y
+
+#
+# ARM System Control and Management Interface Protocol
+#
+# CONFIG_ARM_SCMI_PROTOCOL is not set
+# end of ARM System Control and Management Interface Protocol
+# end of Firmware Drivers
+
+#
+# FPGA Configuration Support
+#
+# CONFIG_FPGA is not set
+# end of FPGA Configuration Support
+
+# CONFIG_GENERIC_PHY is not set
+
+#
+# Hardware crypto devices
+#
+# end of Hardware crypto devices
+
+#
+# Memory controller drivers
+#
+# end of Memory controller drivers
+
+#
+# SoC drivers
+#
+
+#
+# i.MX SoC drivers
+#
+# end of i.MX SoC drivers
+
+#
+# KVX SoC drivers
+#
+# end of KVX SoC drivers
+
+CONFIG_K3_ESM=y
+CONFIG_TI_K3_RINGACC=y
+# end of SoC drivers
+
+#
+# PM Domains
+#
+
+#
+# i.MX PM Domains
+#
+# end of i.MX PM Domains
+
+# CONFIG_TI_SCI_PM_DOMAINS is not set
+CONFIG_TI_K3_PM_DOMAINS=y
+# end of PM Domains
+
+#
+# NVME Support
+#
+# end of NVME Support
+
+CONFIG_K3_DDRSS=y
+# CONFIG_SYSCON_REBOOT_MODE is not set
+# CONFIG_POWER_RESET_SYSCON is not set
+# CONFIG_POWER_RESET_SYSCON_POWEROFF is not set
+# CONFIG_POWER_RESET_GPIO is not set
+# CONFIG_POWER_RESET_GPIO_RESTART is not set
+# CONFIG_VIRTIO_MENU is not set
+CONFIG_MAILBOX=y
+CONFIG_TI_MESSAGE_MANAGER=y
+# CONFIG_TEE is not set
+# end of Drivers
+
+#
+# Filesystem support
+#
+CONFIG_FS=y
+CONFIG_FS_LEGACY=y
+CONFIG_FS_WRITABLE=y
+
+#
+# Some selected filesystems still use the legacy FS API.
+#
+
+#
+# Consider updating them.
+#
+# CONFIG_FS_CRAMFS is not set
+# CONFIG_FS_EXT4 is not set
+CONFIG_FS_RAMFS=y
+CONFIG_FS_DEVFS=y
+CONFIG_FS_FAT=y
+# CONFIG_FS_FAT_WRITE is not set
+CONFIG_FS_FAT_LFN=y
+# CONFIG_FS_BPKFS is not set
+# CONFIG_FS_UIMAGEFS is not set
+# CONFIG_FS_PSTORE is not set
+# CONFIG_FS_SQUASHFS is not set
+
+#
+# ZLIB support disabled
+#
+
+#
+# LZ4 support disabled
+#
+
+#
+# LZO support disabled
+#
+
+#
+# XZ support disabled
+#
+
+#
+# ZSTD support disabled
+#
+# end of Filesystem support
+
+#
+# Library routines
+#
+CONFIG_UNCOMPRESS=y
+# CONFIG_ZLIB is not set
+# CONFIG_BZLIB is not set
+# CONFIG_LZ4_DECOMPRESS is not set
+# CONFIG_ZSTD_DECOMPRESS is not set
+CONFIG_XZ_DECOMPRESS=y
+CONFIG_XZ_DEC_X86=y
+CONFIG_XZ_DEC_POWERPC=y
+CONFIG_XZ_DEC_IA64=y
+CONFIG_XZ_DEC_ARM=y
+CONFIG_XZ_DEC_ARMTHUMB=y
+CONFIG_XZ_DEC_SPARC=y
+CONFIG_XZ_DEC_ARM64=y
+# CONFIG_BASE64 is not set
+# CONFIG_LZO_DECOMPRESS is not set
+CONFIG_FIP=y
+# CONFIG_ALLOW_PRNG_FALLBACK is not set
+# CONFIG_CRC_CCITT is not set
+# CONFIG_CRC8 is not set
+
+#
+# Library gui routines
+#
+# end of Library gui routines
+
+# CONFIG_BOOTSTRAP is not set
+CONFIG_NLS=y
+# CONFIG_BLOBGEN is not set
+# end of Library routines
+
+#
+# Hardening options
+#
+
+#
+# This barebox configuration has CONFIG_HAS_INSECURE_DEFAULTS=y indicating
+#
+
+#
+# that some of the configured options have potentially insecure defaults.
+#
+
+#
+# Extra care needs to be taken in secure booted systems.
+#
+# CONFIG_BUG_ON_DATA_CORRUPTION is not set
+
+#
+# Memory initialization
+#
+CONFIG_CC_HAS_AUTO_VAR_INIT_PATTERN=y
+CONFIG_CC_HAS_AUTO_VAR_INIT_ZERO_BARE=y
+CONFIG_CC_HAS_AUTO_VAR_INIT_ZERO=y
+# CONFIG_INIT_STACK_NONE is not set
+# CONFIG_INIT_STACK_ALL_PATTERN is not set
+CONFIG_INIT_STACK_ALL_ZERO=y
+# CONFIG_INIT_ON_ALLOC_DEFAULT_ON is not set
+# CONFIG_INIT_ON_FREE_DEFAULT_ON is not set
+CONFIG_CC_HAS_ZERO_CALL_USED_REGS=y
+# CONFIG_ZERO_CALL_USED_REGS is not set
+# end of Memory initialization
+
+CONFIG_STACKPROTECTOR_NONE=y
+# CONFIG_STACKPROTECTOR_STRONG is not set
+CONFIG_PBL_STACKPROTECTOR_NONE=y
+# CONFIG_PBL_STACKPROTECTOR_STRONG is not set
+# end of Hardening options
+
+#
+# Crypto support
+#
+CONFIG_CRC32=y
+# CONFIG_DIGEST is not set
+# CONFIG_CRYPTO_RSA is not set
+# CONFIG_CRYPTO_ECDSA is not set
+# CONFIG_CRYPTO_BUILTIN_KEYS is not set
+# CONFIG_CRYPTO_KEYSTORE is not set
+# end of Crypto support
+
+#
+# Firmware files
+#
+CONFIG_EXTRA_FIRMWARE_DIR="firmware"
+CONFIG_MISSING_FIRMWARE_ERROR=y
+CONFIG_HAVE_FIRMWARE_VERIFY_NEXT_IMAGE=y
+# CONFIG_FIRMWARE_VERIFY_NEXT_IMAGE is not set
+# end of Firmware files
+
+#
+# Host Tools
+#
+# CONFIG_COMPILE_HOST_TOOLS is not set
+# end of Host Tools
+
+#
+# Target Tools
+#
+# CONFIG_KERNEL_INSTALL_TARGET is not set
+# CONFIG_BAREBOXENV_TARGET is not set
+# CONFIG_BAREBOXCRC32_TARGET is not set
+# CONFIG_MVEBU_KWBOOT_TARGET is not set
+# end of Target Tools
+
+# CONFIG_TEST is not set
diff --git a/configs/platform-v8a/platforms/barebox-r5.in b/configs/platform-v8a/platforms/barebox-r5.in
new file mode 100644
index 0000000..55147be
--- /dev/null
+++ b/configs/platform-v8a/platforms/barebox-r5.in
@@ -0,0 +1,15 @@
+## SECTION=bootloader
+
+config BAREBOX_R5
+	tristate
+	prompt "Barebox (r5)"
+	select HOST_SYSTEM_PYTHON3
+	select HOST_SYSTEM_PYTHON3_PYYAML
+	select FIRMWARE_TI
+	help
+	  FIXME
+
+config COMPILERPREFIX_R5
+	string
+	prompt "compiler prefix (R5)"
+	default "arm-v7a-linux-gnueabihf-"
diff --git a/configs/platform-v8a/rules/barebox-r5.make b/configs/platform-v8a/rules/barebox-r5.make
new file mode 100644
index 0000000..37a38f2
--- /dev/null
+++ b/configs/platform-v8a/rules/barebox-r5.make
@@ -0,0 +1,99 @@
+# -*-makefile-*-
+#
+# Copyright (C) 2025 by Lars Schmidt <l.schmidt@pengutronix.de>
+#
+# For further information about the PTXdist project and license conditions
+# see the README file.
+#
+
+#
+# We provide this package
+#
+PACKAGES-$(PTXCONF_BAREBOX_R5) += barebox-r5
+
+#
+# Paths and names
+#
+BAREBOX_R5_VERSION		:= $(call ptx/config-version, PTXCONF_BAREBOX)
+BAREBOX_R5_MD5			:= $(call ptx/config-md5, PTXCONF_BAREBOX)
+BAREBOX_R5				:= barebox-r5-$(BAREBOX_R5_VERSION)
+BAREBOX_R5_SUFFIX			:= tar.bz2
+BAREBOX_R5_URL			:= $(call barebox-url, BAREBOX_R5)
+BAREBOX_R5_PATCHES		:= barebox-$(BAREBOX_R5_VERSION)
+BAREBOX_R5_SOURCE			:= $(SRCDIR)/$(BAREBOX_R5_PATCHES).$(BAREBOX_R5_SUFFIX)
+BAREBOX_R5_DIR			:= $(BUILDDIR)/$(BAREBOX_R5)
+BAREBOX_R5_BUILD_DIR		:= $(BAREBOX_R5_DIR)-build
+BAREBOX_R5_CONFIG			:= $(call ptx/in-platformconfigdir, barebox-r5.config)
+BAREBOX_R5_LICENSE		:= GPL-2.0-only
+BAREBOX_R5_LICENSE_FILES	:=
+BAREBOX_R5_BUILD_OOT		:= KEEP
+
+# ----------------------------------------------------------------------------
+# Prepare
+# ----------------------------------------------------------------------------
+
+# use host pkg-config for host tools
+BAREBOX_R5_PATH			:= PATH=$(HOST_PATH)
+BAREBOX_R5_INJECT_PATH 	:= $(PTXDIST_SYSROOT_TARGET)/usr/lib/firmware
+
+BAREBOX_R5_WRAPPER_BLACKLIST := \
+	$(PTXDIST_LOWLEVEL_WRAPPER_BLACKLIST)
+
+BAREBOX_R5_CONF_TOOL	:= kconfig
+BAREBOX_R5_CONF_OPT	:= \
+	-C $(BAREBOX_R5_DIR) \
+	O=$(BAREBOX_R5_BUILD_DIR) \
+	$(filter-out CROSS_COMPILE%, $(call barebox-opts, BAREBOX_R5)) \
+	CROSS_COMPILE=$(PTXDIST_WORKSPACE)/selected_toolchain_r5/$(PTXCONF_COMPILERPREFIX_R5)
+
+BAREBOX_R5_MAKE_OPT	:= $(BAREBOX_R5_CONF_OPT)
+
+BAREBOX_R5_IMAGES := images/barebox-beagleplay-r5.img
+BAREBOX_R5_IMAGES := $(addprefix $(BAREBOX_R5_BUILD_DIR)/,$(BAREBOX_R5_IMAGES))
+
+ifdef PTXCONF_BAREBOX_R5
+$(BAREBOX_R5_CONFIG):
+	@echo
+	@echo "****************************************************************************"
+	@echo " Please generate a bareboxconfig with 'ptxdist menuconfig barebox-r5'"
+	@echo "****************************************************************************"
+	@echo
+	@echo
+	@exit 1
+endif
+
+$(STATEDIR)/barebox-r5.prepare:
+	@$(call targetinfo)
+	@$(call world/inject,BAREBOX_R5)
+	@$(call world/prepare,BAREBOX_R5)
+	@$(call touch)
+
+
+# ----------------------------------------------------------------------------
+# Install
+# ----------------------------------------------------------------------------
+
+$(STATEDIR)/barebox-r5.install:
+	@$(call targetinfo)
+	@$(call touch)
+
+# ----------------------------------------------------------------------------
+# Target-Install
+# ----------------------------------------------------------------------------
+
+$(STATEDIR)/barebox-r5.targetinstall:
+	@$(call targetinfo)
+	@$(foreach image, $(BAREBOX_R5_IMAGES), \
+		$(call ptx/image-install, BAREBOX_R5, $(image), \
+			$(notdir $(image)))$(ptx/nl))
+	@$(call touch)
+
+
+# ----------------------------------------------------------------------------
+# oldconfig / menuconfig
+# ----------------------------------------------------------------------------
+
+$(call ptx/kconfig-targets, barebox-r5): $(STATEDIR)/barebox-r5.extract
+	@$(call world/kconfig, BAREBOX_R5, $(subst barebox-r5_,,$@))
+
+# vim: syntax=make
-- 
2.39.5