reL4 Kernel

1 Introduction

reL4 Kernel is rust reimplemention of seL4 kernel

Chinese Introduction

2 Features

• Pass all sel4test
• Support riscv64 and aarch64
• Support mcs schedule policy
• Support SMP
• Pure rust build system

3 Quick Start

Chinese guide

4 Linux Compitable

To run the linux process on seL4/reL4, we developed reL4-linux-kit

Contact us

If you find any bug or have any idea and comment, please create a issue or pull request.