GitHub repository: le1feng78/minos
Primary language: C
Description: Microkernel RTOS with SMP and Virtualization support for ARMv8-A