![](https://secure.gravatar.com/avatar/d1664a6fd26397d833a6691c8b6386d7.jpg?s=120&d=mm&r=g)
1 Jun
2023
1 Jun
'23
10:39 a.m.
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.