Microkernel RTOS with SMP and Virtualization support for ARMv8-A - View it on GitHub