seL4, the fastest, most correct, (likely) most complicated kernel on earth provides unmatched performance and security/safety guarantees. Being policy free, it also presents developers with a plethora of complicated technical decisions. Microkit, a thin abstraction layer on top of seL4, provides for a radical simplification, massively reducing the complexity of development on top of seL4. This session provides a hands-on experience on developing for the Microkit, based upon the existing Wordle Tutorial offered earlier in this tutorial program.
