Man, this is awesome! Developers all around de World needs to know about
it.
I'll reference it everywhere.
Thank you!
On Friday, November 1, 2024,
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!
NOTE: I’m sorry if this isn’t the best place to share this. I don’t know of any other active seL4 communities besides the mailing list. _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems