Porting seL4 to STM32MP157
12 Oct
2025
12 Oct
'25
3:17 a.m.
Hi, I want to port seL4 to STM32MP157 platform. I'm reading this: https://docs.sel4.systems/projects/sel4/porting.html and honestly its being a show stopper for me. Any plan to show, step by step (without assumptions) and with a real example, how to do that? Best,
163
Age (days ago)
165
Last active (days ago)
4 comments
3 participants
participants (3)
-
Hugo V.C. -
Ivan Velickovic -
Peter Chubb