What is "t-kernel"

T-Kernel is an open source real-time operating system designed for 32-bit microcontrollers. It is standardized by the T-Engine Forum, which distributes it under a "T-License" license agreement. There is also a corresponding μT-Kernel implementation designed for embedded systems with 16-bit or 8-bit microcontrollers.