On 2 Nov 2024, at 08:23, [email protected] wrote: > > Hey everyone. > > I've created an introductory documentation to seL4’s architecture & concepts. > I thought it would be helpful for anyone interested in seL4 and wanted to > share. > > The documentation includes many hand-written visualizations to make seL4 (and > its abstractions) more accessible to people. > You can access it on GitHub: https://github.com/TunaCici/seL4_Architecture > > Hope you enjoy it!
Cool, this looks useful. I should link it from the Whitepaper Gernot _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
