-
Install dependencies (Ubuntu/Debian):
./dependencies.sh
-
Set up STM32MP1 SDK environment:
- Install STM32MP1 OpenSTLinux SDK from ST website
- Source the environment setup script:
source env_setup.sh
This repository provides a comprehensive build script for all STM32MP157D-DK1 components:
./build_script.sh <component> <board> [options]
atf
- ARM Trusted Firmwareoptee
- OP-TEE Secure OSkernel
- Linux Kerneluboot
- U-Boot Bootloaderall
- Build all components
stm32mp157d-dk1
(primary target)stm32mp157f-dk2
stm32mp135f-dk
menuconfig
- Run configuration menu before buildingclean
- Clean build directories before building
-
Build U-Boot for STM32MP157D-DK1:
./build_script.sh uboot stm32mp157d-dk1
-
Build Linux kernel with menuconfig:
./build_script.sh kernel stm32mp157d-dk1 menuconfig
-
Clean build and rebuild all components:
./build_script.sh all stm32mp157d-dk1 clean
-
Build only ARM Trusted Firmware:
./build_script.sh atf stm32mp157d-dk1
Built images will be generated in:
images/stm32mp1/
- Main output directory- Individual component build directories under each component folder
atf/
- ARM Trusted Firmware sources and patcheskernel/
- Linux kernel sources and configuration fragmentsoptee-os/
- OP-TEE OS sources and patchesu-boot/
- U-Boot bootloader sourcesSTM32MP157D-DK1/
- Board-specific device tree and configuration filesgcnano-driver/
- GPU driver components
- Ensure you have sufficient disk space (minimum 20GB recommended)
- Build time varies depending on your system (typically 30-60 minutes for full build)
- For Ubuntu 20.04 users, uncomment the
HOSTLDLIBS
export in the build script if needed