Pinned Repositories
.github
build
Build System for Nanvix
kcall
Nanvix Kernel Call API
libnanvix
Low-Level Library for Nanvix
microkernel
A Research Microkernel
nanvix
Educational Spinoff of Nanvix
optimsoc
Tweaked OpTiMSoC Platform for Nanvix
people
List of Contributors to Nanvix
publications
List of Publications on Nanvix
Nanvix's Repositories
nanvix/nanvix
Educational Spinoff of Nanvix
nanvix/microkernel
A Research Microkernel
nanvix/kcall
Nanvix Kernel Call API
nanvix/libnanvix
Low-Level Library for Nanvix
nanvix/publications
List of Publications on Nanvix
nanvix/.github
nanvix/build
Build System for Nanvix
nanvix/optimsoc
Tweaked OpTiMSoC Platform for Nanvix
nanvix/people
List of Contributors to Nanvix