This repository hosts benchmarks for the Nanvix Microkernel.
Nanvix is a general purpose operating system for lightweight manycore platforms. It is free and its source code is distributed under the permissive MIT License. Nanvix was designed by Pedro Henrique Penna, but it is also maintained by many others. If you are interested in contacting any of the contributors of this project, take a look in the complete list of contributors of Nanvix.