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.velicko...@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
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems
