T-Kernel is an open source[1] real-time operating system designed for 32-bit microcontrollers. It is standardized by T-Engine Forum.[2] T-Kernel is distributed by T-Engine Forum under the license agreement called T-License. For embedded systems with 16-bit and 8-bit microcontrollers, μT-Kernel is designed to have a small footprint