[seL4] Porting seL4 to STM32MP157

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,