This repository hosts the kernel source tree of the Nanvix Operating System. This kernel features a minimalist (ie. microkernel) design, by providing only those abstractions that are required in order to enable a rich system to be implemented on its top.
Nanvix is a free operating system that is distributed under the MIT License. It was created by Pedro Henrique Penna, but it is now maintained by many others. If you are interested in contacting any of the contributors, take a look in the complete list of contributors of Nanvix.