Various tutorials for using seL4, its libraries, and CAmkES.
Download the prerequisites for building and running the tutorial code following the instructions.
You can also download a VirtualBox virtual machine appliance(md5) (3.4GB, based on Lubuntu 15.04 with all the seL4 tutorial prerequisites installed).
This appliance is based on VirtualBox 5.0.4.
You may also need to install the appropriate VirtualBox extensions.
The tutorial exercises are available in apps.
This directory contains partially completed code and comments on how to complete it. Sample solutions are available in solutions.
To get a copy of the seL4 API and library exercise code and all libraries and tools needed to build and run it do the following:
mkdir sel4-tutorials
cd sel4-tutorials
repo init -u http://github.com/sel4-projects/sel4-tutorials-manifest -m sel4-tutorials.xml
repo sync
To get a copy of the CAmkES exercise code and all libraries and tools needed to build and run it do the following:
mkdir camkes-tutorials
cd camkes-tutorials
repo init -u http://github.com/sel4-projects/sel4-tutorials-manifest -m camkes-tutorials.xml
repo sync
Please report any issues you find in the tutorials (bugs, outdated API calls, etc) by filing an issue on the public github repository: https://github.com/SEL4PROJ/sel4-tutorials/issues
The slides used for the tutorial are available in docs.
The seL4 manual lives in the kernel source in the manual directory.
To generate a PDF go into that directory and type make.
You will need to have LaTeX installed to build it.
We've also included a pre-generated PDF version in `docs/manual.pdf'
CAmkES documentation lives in the camkes-tool repository in docs/index.md.