On 2 Nov 2024, at 08:23, tunaci...@gmail.com 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 -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
