Minos2 is a micro-kernel OS for ARMv8-a - View it on GitHub