Hi guys, thank you for your support (thank you Peter for the detailed explanation). Peter, your explanation is exactly what is explained in the "Porting seL4 to a new platform". I already understood everything in that page... The problem (my problem, I have no idea if other people are affected) is every time I read something about seL4, I need to re-educate myself on all the compilation procefures, etc. I personally miss a step by step real example here in this page. It assumes you are already familiar with seL4 development, and you have a ready to use environment. And this may be a false assumption because: 1) it may be the case of someone that directly landed on this page after realizing seL4 is not supported for his platform (in that case the effected visitor needs to guess what path to follow to create a dev environment for seL4, compile some example on a supported platform, then go for the port...). Too many steps. Any marketing expert will agree this makes potential early adopters (future customers) to fly away. 2) it may be the case of someone (like me) that no matter how many times compiles seL4 and works with sources, for some reason (aging? brain damage?) is unable to remember all the stuff related to the procedure of compiling that stuff. And even if I will not fly away, I may add that task to my long queue of TODO tasks, that I order in terms of ROI. In my example, in need to port seL4 to STM32MP157, and I don't have the seL4 compilation process "fresh" as I jump from one technology to other every week, either I'm developing a Windows kernel driver, or an ARM boot loader, or modifying a tcp/ip stack, evaluating other technologies, etc. So, in my case, having a step by step real example of how a platform is ported, helps me a lot i terms of evaluating effort. I mean is not the same I explain to you in a text how to cook "salmorejo" (typical Spanish meal) than creating a video and show you how to do it, with a real example so you can see the texture of the meal, which is the key of the success. Also, IMHO, this page is very important as it will be evaluated by vendors to decide effort to port seL4 to their platforms. A real step by step example would be unvaluable. On Saturday, October 11, 2025, Hugo V.C. <skydivebcn@gmail.com> 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,