From Fedora Project Wiki

BeaglePlay is an open-source single board computer based on the Texas Instruments AM6254 quad-core Cortex-A53 Arm SoC designed to simplify the process of adding sensors, actuators, indicators, human interfaces, and connectivity to a reliable embedded system.

More information about this board can be found at:


Creating a bootable Fedora Minimal Rawhide image

Fedora Rawhide images should be bootable with some additional user interaction.

1. Download the latest Fedora Minimal Rawhide image from the download site. I.e:

2. Flash the Fedora image to a SD-card (replace /dev/mmcblkX with your block device):

sudo arm-image-installer --target=beagleplay \
                         --image=Fedora-Minimal-Rawhide-$(date '+%Y%m%d').n.0.aarch64.raw.xz \
                         --media=/dev/mmcblkX --resizefs --norootpass --showboot \
                         --args "console=ttyS2,115200n8 selinux=0"

3. Unplug and plug again the SD-card, so the system recognizes the newly created partitions.

4. Build and generate the bootloader binaries required for the TI BeaglePlay board.

Clone the k3-upstream-boot-build project. This is a build package to help ease build and deploy various K3 Boards.

git clone
cd k3-upstream-boot-build/
make gitsync

Build all the required components, note that building u-boot binaries depends on some extra binaries like Arm Trusted Firmware and OP-TEE.

make am62x_beagleplay_gp_all_defconfig
make CROSS_COMPILE_64=aarch64-linux-gnu- CROSS_COMPILE_32=arm-linux-gnu- -j

Note that the above steps assumes a x86_64 Linux system for build. If not, the scripts should be adjusted appropriately.

Binaries will be in the deploy/ directory.

5. Copy the bootloader binaries to the first FAT partition of the storage media. I.e:

cp deploy/tiboot3.bin $(lsblk /dev/mmcblkXp1 -n -o MOUNTPOINT)
cp deploy/tispl.bin $(lsblk /dev/mmcblkXp1 -n -o MOUNTPOINT)
cp deploy/u-boot.img $(lsblk /dev/mmcblkXp1 -n -o MOUNTPOINT)

6. Umount all the partitions, put the SD-card into the slot and turn on the board

Current u-boot supports EFI boot so it should just boot without any interaction. Make sure you have access to the serial port and follow the instructions to finish the image installation.

7. Press the USR button and have fun!

To switch to SD card boot mode, hold the USR button while powering on with Type-C power supply, then release when power LED lights up. This guarantees that the system fully boots from the SD card, otherwise it tries from the internal eMMC.