I just wanted someone to notice this:
From what I understood It's an attempt to a GNU exokernel.
I don't know how to experiment it being just an end-user, but someone could find it interesting and maybe continue the development.
I like the idea of direct-to-hardware performance and the security an exokernel is claimed to have regarding the kernel calls.
Hope to see in the future a way to choose between micro/monolithic/exo kernel, talking about GNU and Linux distributions.