[seL4] Re: porting to a new platform

On 1 Jun 2023, at 06:31, steve.burke.56@gmail.com wrote: I'm trying to port an old sel4 code base to the latest so I decided to take the sel4test manifest & work through through the following page (https://docs.sel4.systems/projects/sel4/porting.html) Hi Steve, In addition to that page, I have found this extra documentation on porting sel4 useful. https://github.com/sel4devkit/seL4-DevKit-Doc/blob/main/seL4-doc/src/appendi... It has links to some more recent ports and could provide you with additional guidance. Ihor.