# The seL4 Microkit tutorial is now available

**URL:** <https://sel4.discourse.group/t/the-sel4-microkit-tutorial-is-now-available/782>\
**Category:** Uncategorized\
**Created:** [October 4, 2023, 6:35am UTC](https://sel4.discourse.group/t/the-sel4-microkit-tutorial-is-now-available/782 "2023-10-04T06:35:44Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![ivanvelickovic](https://yyz2.discourse-cdn.com/free1/user_avatar/sel4.discourse.group/ivanvelickovic/32/348_2.png) [@ivanvelickovic](https://sel4.discourse.group/u/ivanvelickovic)\
**Post date:** [October 4, 2023, 6:35am UTC](https://sel4.discourse.group/t/the-sel4-microkit-tutorial-is-now-available/782/1 "2023-10-04T06:35:44Z")

</div>

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](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 [GitHub - au-ts/microkit\_tutorial: A tutorial for learning the seL4 Microkit](https://github.com/au-ts/microkit_tutorial). Feel free to provide feedback or ask questions there.