Kadingir : The gate of microkernel for Ryoko

https://rr.img.naver.jp/mig?src=http%3A%2F%2Fzivcg.com%2Fgalleries%2Fbabylon%2Fimages%2Fbabylon_small.jpg&twidth=160&theight=0&qlt=80&res_format=jpg&op=r

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

Blog

Repository of Kadingir

Indices and tables