seL4-docs/Tutorials/get-the-tutorials.md

layout	description	nav_next	nav_prev	SPDX-License-Identifier	SPDX-FileCopyrightText
tutorial	steps and code for getting tutorials	hello-world.html	setting-up.html	CC-BY-SA-4.0	2024 seL4 Project a Series of LF Projects, LLC.

Getting the tutorials

{% include note.html %} The steps on this page only need to be done once, before doing your first tutorial. {% include endnote.html %}

Python Dependencies

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

pip3 install --user camkes-deps

{% include pip-instructions.md %}

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