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