- GitHub - Source code, bug reports, feature requests, and pull requests.
- Gitter - Where you can ask any questions or help.
- Documentation - How to build, internal design, API docs, etc.
- Message Interfaces - IPC message definitions.
A pure microkernel-based hackable operating system.