Trustworthy Systems

The seL4 Microkit


Ivan Velickovic

    School of Computer Science and Engineering
    Sydney 2052, Australia


The seL4 Microkit is an operating system framework on top of seL4 that aims to provide minimal abstractions to make it easier to build statically structured systems on seL4, while still leveraging the kernel's benefits of security and performance. Since the 2022 seL4 Summit, Microkit has become more mature and is seeing wider use. At Trustworthy Systems, Microkit is the basis of much of our work, including the seL4 Device Driver Framework and other OS services such as a virtual machine monitor. The goal of this talk is to give you an understanding of Microkit and surrounding developments by covering three topics:

BibTeX Entry

    author           = {Ivan Velickovic},
    location         = {Minneapolis, MN, US},
    month            = sep,
    note             = {Talk at the 5th {seL4} {Summit}},
    title            = {The {seL4} {Microkit}},
    video            = {},
    year             = {2023}