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: Welcome - seL4 Microkit Tutorial. This is the same tutorial that ran at this year’s seL4 Summit.
The tutorial code and infrastructure is also open-source, available here GitHub - au-ts/microkit_tutorial: A tutorial for learning the seL4 Microkit. Feel free to provide feedback or ask questions there.