Getting the tutorials

Note

The steps on this page only need to be done once, before doing your first tutorial.

Python Dependencies

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

pip3 install --user camkes-deps

Error: Python environment is externally managed

Some Linux distributions have changed how Python is managed. If you get an error saying the Python ‘environment is externally managed’ follow the instructions below. The first two steps are needed only once for setup.

python3 -m venv seL4-venv
./seL4-venv/bin/pip install camkes-deps

The following step is needed every time you start using the build environment in a new shell.

source ./seL4-venv/bin/activate

It is not important where the seL4-venv directory is located.

Get the code

The collection of code needed for the tutorials is defined in the sel4-tutorials-manifest. Get the code with:

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

repo sync may take a few moments to run