This project builds upon seL4 and the seL4 Microkit. In particular, this project works with at least the following versions of those related projects:

Search code, repositories, users, issues, pull requests...

submited by

Style Pass

2024-04-23 16:00:16

This project builds upon seL4 and the seL4 Microkit. In particular, this project works with at least the following versions of those related projects:

The best way to learn how to integrate these crates into your project is to check out the concrete examples of their use listed above.

Some of these crates depend, at build time, on external components and configuration. In all cases, information for locating these dependencies is passed to the dependant crates via environment variables which are interpreted by build.rs scripts. Here is a list of environment variables and the crates which use them:

The only requirements for building and running the tests in this repository are Linux, Make, rustup, and Nix. This repository contains scripts for setting up a Docker container with a suitable development environment in case you aren't on Linux or don't want to install Nix.

If you are using Docker, build, run, and enter a Docker container for development. This container mounts this repository's top-level at /work.