T-Engine
詳細は「T-Kernel」を参照
T-Kernel (ティー・カーネル) は、オープンソースのリアルタイムオペレーティングシステム(RTOS)である。
T-KernelはT-Engine用のRTOSとして公開されたが、その後のバージョンアップに伴いT-Engine以外のターゲットハードウェアもサポートするようになっている。
T-Kernelのソースコードは、トロンフォーラムがT-License(ティー・ライセンス)という独自のライセンスに従って無償で配布している。
T-Kernelは、従来からのITRONと同様、スタティックメモリアロケーションによるカーネルベースでのプログラミングが可能。しかし、T-Engine本来の目的である「ミドルウェアの流通」を実現するためには、ダイナミックメモリアロケーションが可能でプロセスベースでのプログラミングも可能なT-Kernel/Standard Extensionを使いこなすことが望まれる。
2013年9月に打ち上げられた国産ロケットイプシロンと、それに搭載された観測衛星ひさきに、μITRONとT-Kernelがそれぞれ使われた。2014年12月3日にH-IIAロケットで打ち上げられたはやぶさ2の制御システムにT-Kernel 2.0が用いられた。
T-Kernelの構造
T-Kernelは機能的に以下の3つの部分に分かれている。
小型家電機器等に適用するための、コイン大のプラットフォーム。標準T-EngineやμT-Engineといった開発用のプラットフォームではなく、デリバリを目的とした規格である。
デバッガなどの開発ツールが使用するための機能を提供する。