# rust-root-task-demo

**Repository Path**: nextOS/rust-root-task-demo

## Basic Information

- **Project Name**: rust-root-task-demo
- **Description**: No description available
- **Primary Language**: Unknown
- **License**: Not specified
- **Default Branch**: main
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2025-10-07
- **Last Updated**: 2025-10-07

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

<!--
     Copyright 2023, Colias Group, LLC

     SPDX-License-Identifier: CC-BY-SA-4.0
-->

# Simple root task demo for the [seL4 crates](https://github.com/seL4/rust-sel4)

This repository demonstrates the use of the [seL4 crates](https://github.com/seL4/rust-sel4) to
construct a simple system.

See comments in the files in this repository, especially [./Makefile](./Makefile), for
documentation.

### Quick start

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
```