Introduction to seL4's Architecture & Concepts
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.
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 , <tunacici7@gmail.com> wrote:
I like this! My browser yelled at me about a link you gave to an "seL4_Yield" call discussion. Here's a good https link for it: https://lists.sel4.systems/hyperkitty/list/devel@sel4.systems/message/KEJXVP... Cheers On Fri, Nov 1, 2024 at 4:25 PM <tunacici7@gmail.com> wrote:
Thanks you everyone for the kind words and helpful feedback. I'll be working on them to improve the work! Also, FYI, I'll be working on the next parts (e.g., Capabilities) in the coming weeks.
participants (6)
-
Gernot Heiser -
Hugo V.C. -
Michael Neises -
tunacici7＠gmail.com -
William ML Leslie -
Yanfeng