L4 Microkernel in rust

Hey fellow developers,

I'm thrilled to share with you a project I've been passionately working on - Hadron, my very own microkernel (https://github.com/fxttr/hadron) I write in rust at the moment. I try to study the L4 microkernel family / architecture with it.

Just wanted to show you guys my little pet project.

I'm still in the beginning, but it's fun.