Hello World Tutorial Setup with seL4-tutorials-manifest

1.1 Setup with seL4-tutorials-manifest and Virtual Environment

Setup:

• Create a new directory for the tutorial manifest:

  mkdir sel4-tutorials-manifest
  cd sel4-tutorials-manifest

• Initialize and sync the repository:

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

• Create a virtual Python environment and activate the environment

python3 -m venv venv
source venv/bin/activate

Dependencies:

• Install setuptools

pip3 install setuptools

• Install seL4 dependencies

pip3 install sel4-deps

• Install CAmkES dependencies

pip3 install camkes-deps

• If only required, install additional packages:

pip install aenum
pip install sh

1.2 Building Your First Program

• Build the project using ninja:

./init --tut hello-world

• Navigate to the build directory:

cd hello-world_build

• Build the project using ninja:

ninja

• Clean the build using ninja:

ninja clean

• Simulate the program:

ninja clean

you should see something like this 👀 👀 👀