I can only read the English, but this seems to be a Rust kernel with Lisp on top to form a whole operating system. I love it!