This is a very WIP (as in currently non-functional) x86-64 kernel written in Rust. The end goal is to create a kernel that provides maximal safe access to the underlying hardware (similar to the exokernel design) and mandatory access control based on IPC.
RebelAndroid/rex-kernel
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|