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 <[email protected]> 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 -- [email protected] > To unsubscribe send an email to [email protected] 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. _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
