Neftis is a microkernel designed to be easily extended and compiled in various platforms - View it on GitHub