Simple root task demo for the seL4 crates
This repository demonstrates the use of the seL4 crates to construct a simple system.
See comments in the files in this repository, especially ./Makefile, for documentation.
The only requirements for getting started are Git, Make, and Docker.
First, clone this respository:
git clone https://github.com/seL4/rust-root-task-demo.git
cd rust-root-task-demo
Next, build, run, and enter a Docker container for development:
make -C docker/ run && make -C docker/ exec
Finally, inside the container, build and emulate a simple seL4-based system with a root task written in Rust:
make run
If you want to run on rel4:
make OS=rel4 run
Clear the build folder if you not run the specific kernel successfully.