Various tutorials for using seL4, its libraries, and tools.

Download the prerequisites for building and running the tutorial code following the instructions.

You can also download a VirtualBox virtual machine appliance(md5) (2.6GB, based on Lubuntu 15.04 and using VirtualBox 5.0.0) with all the prerequisites installed.

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
    repo sync -m sel4-tutorials.xml

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
    repo sync -m camkes-tutorials.xml

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.