This is superb, very beautiful diagrams, thank you Tuna! I wanted to suggest a small tweak. A capability is a reference to a kernel object, rather than a kernel object itself. So this paragraph:
*Capabilities and other kernel object will be explored in the upcoming writings.* Might be clearer if written something like: *Capabilities and the types of kernel objects they reference will be explored in the upcoming writings.* While there certainly have been capabilities in operating systems in the past - they date back to the 60s! - I don't think we've seen them in a broadly known system between about 1990 and the formalisation of WASI. On Sat, 2 Nov 2024, 7:25 am , <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! > > 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 > _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
