Skip to content

Add documentation for STM32MP2#325

Draft
bruelc wants to merge 1 commit intoseL4:masterfrom
bruelc:master-stm32mp2
Draft

Add documentation for STM32MP2#325
bruelc wants to merge 1 commit intoseL4:masterfrom
bruelc:master-stm32mp2

Conversation

@bruelc
Copy link

@bruelc bruelc commented Feb 12, 2026

Hello,

Description

Add the STM32MP25 eval board platform installation instructions.
The boot relies on the TF-A binaries used by the OSTL distribution package that includes the Linux kernel, u-boot, TF-A and OP-TEE.
Provide links and instructions to rebuild TF-A or use this pre-build image to boot seL4

Link to kernel PR seL4

Testing

tested with

make serve

thank you

Signed-off-by: Christian Bruel <christian.bruel@foss.st.com>
@bruelc bruelc marked this pull request as draft February 12, 2026 09:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant