> Date: Wed, 4 Oct 2023 06:36:02 +0000 > From: Ivan Velickovic <[email protected]> > Subject: [seL4] The seL4 Microkit tutorial is now available > To: devel <[email protected]> > > Hello everyone, > > For those who are new to seL4 or want to learn about the seL4 Microkit, the > Microkit tutorial is now available to everyone on the Trustworthy Systems > website: https://trustworthy.systems/projects/microkit/tutorial/welcome.html. > This is the same tutorial that ran at this year’s seL4 Summit. > > The tutorial code and infrastructure is also open-source, available here > https://github.com/au-ts/microkit_tutorial. Feel free to provide feedback or > ask questions there. > > Thanks, > Ivan
Hello, I was going to ask what Microkit was and how it differs from seL4 Core Platform, but I see it’s just a new name. That’s good to know. I’ll definitely be checking out that tutorial Also, where can I find information on comparison between CAMmkES and Microkit/seL4cp? I only have a vague idea of the difference between the two. Thanks, Isaac _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
