"Hugo" == Hugo V C via Devel <devel@sel4.systems> writes:
Hugo> Hi, I want to port seL4 to STM32MP157 platform. I'm reading Hugo> this: Hugo> https://docs.sel4.systems/projects/sel4/porting.html Hugo> and honestly its being a show stopper for me. Any plan to show, Hugo> step by step (without assumptions) and with a real example, how Hugo> to do that? The first steps are to get U-Boot and Linux running. For ease of development, set up U-Boot to load stuff over TFTP --- you don't have to, but it makes things much faster. Then extract the DTS from the linux kernel source tree you used for the Linux you have running. This wil tell you what drivers are needed --- seL4 needs a timer, an interrupt controller, and a serial device at minimum. As the STM32MP157 is a cortex-A7, these (except the serial) are all already in the source. You'll need to write a serial driver, but these are usually really simple. The DTS for the STM32MP157 boards doesn't have a memory node. You'll need to add one to the DTS you extracted by using an overlay, to describe how much RAM your board has, and its physical address. Then add the board to the hardware_gen.py script, write the CMAKE and platform files based on ones that are similar to your board. The imx7 Sabre is another Cortex A7 that might make a good start to copy. Peter C -- Dr Peter Chubb https://trustworthy.systems/ Trustworthy Systems Group CSE, UNSW Core hours: Mon 8am-3pm; Wed: 8am-5pm; Fri 8am-12pm.