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/[email protected]/message/KEJXVPMZBE2X27FGD3INUGH5PPVCHBP4/
Cheers On Fri, Nov 1, 2024 at 4:25 PM <[email protected]> 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 -- [email protected] > To unsubscribe send an email to [email protected] > _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
