https://github.com/nanvix/nanvix
Microkernel-Based Research Operating System Written in Rust
https://github.com/nanvix/nanvix
microkernel operating-system rust
Last synced: 3 days ago
JSON representation
Microkernel-Based Research Operating System Written in Rust
- Host: GitHub
- URL: https://github.com/nanvix/nanvix
- Owner: nanvix
- License: mit
- Created: 2013-07-04T17:27:49.000Z (over 12 years ago)
- Default Branch: dev
- Last Pushed: 2026-01-16T11:16:06.000Z (9 days ago)
- Last Synced: 2026-01-16T13:20:36.110Z (9 days ago)
- Topics: microkernel, operating-system, rust
- Language: Rust
- Homepage: https://github.com/nanvix
- Size: 11.3 MB
- Stars: 198
- Watchers: 7
- Forks: 99
- Open Issues: 204
-
Metadata Files:
- Readme: README.md
- License: LICENSE.txt
Awesome Lists containing this project
README
# Nanvix
[](https://join.slack.com/t/nanvix/shared_invite/zt-1yu30bs28-nsNmw8IwCyh6MBBV~B~X7w)




Nanvix is a microkernel-based research operating system.
## Documentation
- [doc/setup.md](doc/setup.md) - Instructions for setting up your development environment.
- [doc/build.md](doc/build.md) - Instructions for building Nanvix.
- [doc/run.md](doc/run.md) - Instructions for running Nanvix.
- [doc/dev.md](doc/test.md) - Instructions for testing Nanvix.
- [doc/benchmark.md](doc/benchmark.md) - Instructions for benchmarking Nanvix.
## Software Ecosystem
### Runtimes
- [x] `Python v3.12.3`
- [x] `Libstdc++ v3`
- [x] `Newlib v4.4.0`
- [x] `QuickJS`
### Libraries
- [x] `OpenBlas v0.3.29`
- [x] `OpenSSL v3.5.0`
- [x] `SQLite v3.49.0`
- [x] `Zlib v1.3.1`
### Development Tools
- [x] `Binutils v2.40`
- [x] `G++ v12.4.0`
- [x] `GCC v12.4.0`
- [x] `GFortran v12.4.0`
- [x] `Rustc v1.87.0`
## Usage Statement
This project is a prototype. As such, we provide no guarantees that it will work and you are assuming any risks with using the code. We welcome comments and feedback. Please send any questions or comments to any of the following maintainers of the project:
- [Pedro Henrique Penna](https://github.com/ppenna) - [ppenna@microsoft.com](mailto:ppenna@microsoft.com)
> By sending feedback, you are consenting that it may be used in the further development of this project.
## License
This project is distributed under the [MIT License](LICENSE.txt).