GitHub repository: shawchina/minos
Description: Microkernel RTOS with SMP and Virtualization support for ARMv8-A