I just wanted someone to notice this: https://github.com/remysaissy/examour-exokernel
>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.
