End

This is the end of the tutorial. Thank you for taking to the time to complete it, I hope you found it enjoyable and you learnt something!

If you have any questions or feedback, feel free to open an issue on the GitHub repository.

Useful links

• seL4 homepage
• Trustworthy Systems homepage
• seL4 source code
• Microkit source code
• Experimental virtual-machine-monitor used in part 4

Solutions

The solutions are available for download from here.

Alternatively you can download them via:

# Make sure to run these commands in the microkit_tutorial directory created in part 0
curl -L trustworthy.systems/Downloads/microkit_tutorial/solutions.tar.gz -o solutions.tar.gz
tar xf solutions.tar.gz

To build the solutions do:

cd solutions
make part4

To run the solutions do:

make run