A little fail-safe filesystem designed for microcontrollers

The seL4 microkernel

Official MINIX sources - Automatically replicated from gerrit.minix3.org

Xvisor: eXtensible Versatile hypervISOR

mirror of git://git.code.sf.net/p/monartis/openqnx

Markless AR transplanted to iOS and Android based on takmin's code. http://meiroo.github.io/projects#ar

A fast C99 geohash library which only provide int64 as hash result.

Yet another cross-platform microkernel operating system, runs on x86/x86_64, arm64 and RISC-V