T-Kernel
T-Kernel (ティー・カーネル) は、オープンソースのリアルタイムオペレーティングシステム(RTOS)である。
T-KernelはT-Engine(ティー・エンジン)用の組み込みオペレーティングシステムとして公開されたが、その後のバージョンアップに伴い、T-Engine以外のターゲットハードウェアもサポートするようになった。
T-Kernel 2.0からはQEMUというプロセッサエミュレータにも対応している。 トロンフォーラムが配布するT-Kernel 2.0 Software Packageには、T-Engineリファレンスボードをエミュレーションするように設定されたQEMU(emulator for tef_em1d)が含まれており、PCだけでT-Kernel 2.0用アプリケーションの開発を開始することが可能である。
T-Kernelは、従来からのITRONと同様、スタティックメモリアロケーションによるカーネルベースでのプログラミングが可能。しかし、T-Engine本来の目的である「ミドルウェアの流通」を実現するためには、ダイナミックメモリアロケーションが可能でプロセスベースでのプログラミングも可能なT-Kernel/Standard Extensionを使いこなすことが望まれる。
2013年9月に打ち上げられた国産ロケットイプシロンと、それに搭載された観測衛星ひさきに、μITRONとT-Kernelがそれぞれ使われた。2014年12月3日にH-IIAロケットで打ち上げられたはやぶさ2の制御システムにT-Kernel 2.0が用いられた。
2017年12月11日、μT-Kernel 2.0をIEEEに著作権譲渡契約を結んだと発表された。
2018年9月11日、「μT-Kernel 2.0」ベースの「IEEE 2050-2018」が、IEEE標準として正式に成立した。