seL4 and CAmkES tutorials
First make sure you have set up your machine.
These tutorials get you started with writing dynamic systems and interacting directly with seL4 and our libraries.
Get the code
mkdir sel4-tutorials-manifest cd sel4-tutorials-manifest repo init -u https://github.com/SEL4PROJ/sel4-tutorials-manifest -b refs/tags/10.0.0 repo sync
Do the tutorials
The top of the source tree contains the kernel itself, and the tutorials are found in the subfolder: “
projects/sel4-tutorials”. The tutorial consists of some pre-written sample applications which have been deliberately half-written. You will be guided through filling in the missing portions, and thereby become acquainted with seL4. For each of the sample applications however, there is a completed solution that shows all the correct answers, as a reference.
When completing the tutorials you will be initialising and building your solutions with CMake. The general flow of completing a tutorial exercise involves:
# creating a build directory mkdir tutorial_build cd tutorial_build # initialising the build directory with a tutorial exercise ../init --plat <platform> --tut <tutorial exercise> # building the tutorial exercise ninja
After initialising your build directory you will be setup with half-written source for you to complete. In your build directory you will find:
- The half-written sample applications are in the
<tutorial exercise>being the name of the exercise your are completing. Your job is to fill these out.
The completed sample applications showing the solutions to the tutorial challenges can be retrieved by initialsing a build directory with the
../init --plat <platform> --tut <tutorial exercise> --solution
The slide presentations to guide you through the tutorials are in the following files:
projects/sel4-tutorials/docs/seL4-Overview.pdf: This is an overview of the design and thoughts behind seL4, and we strongly recommend you read it before starting the tutorials.
projects/sel4-tutorials/docs/seL4-APILib-details.pdf: This is the actual tutorial.
Detailed explanations of each tutorial challenge:
These tutorials get you started with our component system CAmkES, which is allows you to configure static systems through components. CAmkES generates the glue code for interacting with seL4.
Get the code
mkdir camkes-tutorials-manifest cd camkes-tutorials-manifest repo init -u https://github.com/SEL4PROJ/sel4-tutorials-manifest -b refs/tags/camkes-3.5.0 repo sync
Do the tutorials
These tutorials work similarly to the SEL4 tutorials in that they are guided by a slide presentation. There are half-completed sample applications, with a set of slides giving instructions, with TASK challenges once again. There are also completed sample solutions.
- The half-written sample applications are created in your build directory, under the
<tutorial exercise>is the name of the exercise your are completing).
- The solutions can be retrieved by initialising a build directory with the
../init --plat <platform> --tut <tutorial exercise> --solution.
- The slide presentations to guide you through the tutorials are
You can try building and running seL4test