my-sel4-projects

• Different SeL4 standalone projects for different purposes
• An LLVM pass project for instruction injection

Pre-requirements

Install host dependencies from here: https://docs.sel4.systems/projects/buildsystem/host-dependencies.html

Tutorials can be found here: https://docs.sel4.systems/Tutorials/

Prebuilt projects (SeL4Test is a good project to test functionality): https://docs.sel4.systems/projects/

Latest TRM can be found here: https://sel4.systems/Info/Docs/seL4-manual-latest.pdf

API reference: https://docs.sel4.systems/projects/sel4/api-doc.html

Build the project structure

To create a starting project with a simple skeleton, and to learn how to build and run a project, follow the instructions of the Hello World project in this repository.

Current projects

• Hello World: A simple project that prints 'Hello World' to standard output.
• Mapping Project: A project that maps device memory to an application.
• Mapping Project using VKA: Another project that maps device memory to an application, however it uses dynamic libraries for a more automated procedure.
• Inject BRAM access instructions: An LLVM pass that injects instructions to application for reading and writing to BRAM.

scripts

The scripts directory contains several scripts used for compiling passes, the SeL4 project, automating the execution of the SeL4 Image on the board and other helper scripts.