STM32MP25 EV1

STM32MP25 evaluation board

Platform	STM32MP25 EV1
Architecture	ARMv8A, AArch64
System-on-chip	STM32MP25
CPU	Cortex-A35
seL4 virtualisation support
seL4 SMMU support	–
Proofs
Proof configs	AARCH64
seL4 CMake platform name	`stm32mp2`
Contributed by	STMicroelectronics
Maintained by	STMicroelectronics

Installation

Instructions to boot the board are available on the Starter package wiki. These notes describe how to create a raw image to flash a Linux boot on a MicroSD card. The flash layout uses ext2 partitions, for seL4 only the bootfs partition is used.

ARM Trusted Firmware (TF-A)

seL4 uses TF-A to start the AT35-TD BL2 U-boot and a secure monitor to serve RIF accesses. The default configuration enables a system watchdog that causes a reset if not rearmed, which might not be long enough for seL4 components.

If necessary, disable the watchdog in fdts/stm32mp257f-ev1.dts. Build details are available on the How to configure TF-A wiki

&iwdg1 {
        timeout-sec = <32>;
-       status = "okay";
+       status = "disabled";
 };

Booting

Identify the partition number and verify the seL4 boot binary you just placed on your microSD card. Load and boot the image at 0x88000000.

STM32MP> mmc part
...
STM32MP> ext2ls mmc 0:8
...
STM32MP> ext2load mmc 0:8 0x88000000 loader.img
STM32MP> go 0x88000000