The seL4 Microkit is a minimal operating system framework made for developing systems using the seL4 microkernel.

The tutorial is available here.

This repository contains the infrastructure and material for the tutorial. If you are developing the tutorial itself, the rest of the README is for you.

The tutorial is delivered using mdBook, a fairly accessible way for making small online guides, books and tutorials using Markdown.

Install the mdBook tool and mdbook-variables preprocessor using Cargo.

cargo install --locked mdbook-variables mdbook

The source for the website is under website/src/.

To start a local webserver to serve the website, run the following:

cd website
./develop.sh

To build the website run:

cd website
./build.sh

The built website will be in website/build/.

All the tutorial code is under tutorial/ in the repository.

All the solutions code is under solutions/ in the repository.

In part 4 of the tutorial, there is a random word available at the given URL. The dictionary where the random word is chosen from is in dictionary.txt at the root of the repository.