[seL4] Re: The seL4 Microkit tutorial is now available

Date: Wed, 4 Oct 2023 06:36:02 +0000 From: Ivan Velickovic i.velickovic@unsw.edu.au Subject: [seL4] The seL4 Microkit tutorial is now available To: devel devel@sel4.systems

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