It would be good if you could describe what part of it is a “show stopper” so we can improve the page. Ivan
On 12 Oct 2025, at 03:17, Hugo V.C. via Devel <devel@sel4.systems> wrote:
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, _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
This email and any files transmitted with it may contain confidential information. If you believe you have received this email or any of its contents in error, please notify me immediately by return email and destroy this email. Do not use, disseminate, forward, print or copy any contents of an email received in error.