2 Nov
2024
2 Nov
'24
11:15 a.m.
On 2 Nov 2024, at 08:23, tunacici7@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