Kadingir : The gate of microkernel for Ryoko


What is Kadingir?

Kadingir is the microkernel for Ryoko.

Our first target is to fork seL4 and re-write it in Rust.

What is seL4?

The world’s first operating-system kernel with an end-to-end proof of implementation correctness and security enforcement is available as open source.

from <https://sel4.systems/>


Repository of Kadingir

Indices and tables