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]
