On 1 Jun 2023, at 06:31, [email protected] 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/appendices/guide_to_porting_sel4.md It has links to some more recent ports and could provide you with additional guidance. Ihor. _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
