An open API service indexing awesome lists of open source software.

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

Awesome Lists containing this project

README

          

# Nanvix

[![Join us on Slack!](https://img.shields.io/badge/chat-on%20Slack-e01563.svg)](https://join.slack.com/t/nanvix/shared_invite/zt-1yu30bs28-nsNmw8IwCyh6MBBV~B~X7w)
![GitHub commit activity](https://img.shields.io/github/commit-activity/m/nanvix/nanvix)
![GitHub last commit](https://img.shields.io/github/last-commit/nanvix/nanvix)
![GitHub Actions Workflow Status](https://img.shields.io/github/actions/workflow/status/nanvix/nanvix/self-hosted-ci.yml?branch=dev&label=Self%20Hosted%20CI)
![GitHub Actions Workflow Status](https://img.shields.io/github/actions/workflow/status/nanvix/nanvix/github-hosted-ci.yml?branch=dev&label=GitHub%20Hosted%20CI)

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).