Micro T-Kernel

μT-Kernel is a real-time operating system (RTOS) designed for 16- and 8-bit microcontrollers. μT-Kernel was standardized by T-Engine Forum and later by IEEE as the basis of IEEE 2050-2018.
An article comparing 9 RTOSs among which Micro T-Kernel was evaluated and given favorable remarks appeared in IEEE publication.