The seL4 Microkit tutorial is now available

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.

1 Like