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 ,
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
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
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
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
Thanks a lot! I love it. On Fri, 2024-11-01 at 21:23 +0000, 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!
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
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
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