[seL4] Re: Porting seL4 to STM32MP157

Thanks for the feedback, I’ve tried to turn into concrete steps in an issue [1] for how to improve it. I agree that a step-by-step walk through would make porting much easier. [1]: https://github.com/seL4/docs/issues/299 Ivan 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.