[seL4] Re: Introduction to seL4's Architecture & Concepts

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 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