Hello Isaac

Yes the seL4 Core Platform has been renamed to the seL4 Microkit, I've updated the first line in the tutorial to say "formerly seL4 Core Platform".

This guide https://github.com/au-ts/camkes_to_microkit_guide should be helpful in giving the key high-level differences of CAmkES and Microkit as well as the specific differences between the abstractions provided.

Let me know if you have any specific questions as to the difference between the two!

Ivan

On 5/10/23 16:58, Isaac Beckett wrote:

...

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