This repository holds the guide for transitioning seL4 systems built using CAmkES to Microkit. Written by Jade Zhou.

Any feedback is appreciated.

Producing a PDF

To build a PDF version of the guide you can use Pandoc:

pandoc guide.md -f gfm -o guide.pdf

If you don't have Pandoc installed you can install it using apt:

sudo apt install pandoc

Or if you are on macOS with Homebrew:

brew install pandoc

If these methods do not work for you, the Pandoc instructions might help.