Getting the tutorials

Python Dependencies

The CAmkES python dependencies are required to build the tutorials. To install you can run:

pip3 install --user camkes-deps

Hint: This step only needs to be done once, i.e. before doing your first tutorial.

All code for the tutorials is described in the sel4-tutorials-manifest. Get the code with:

mkdir sel4-tutorials-manifest
cd sel4-tutorials-manifest
repo init -u https://github.com/seL4/sel4-tutorials-manifest
repo sync

repo sync may take a few moments to run

Hint: The Get the code step only needs to be done once, i.e. before doing your first tutorial.