Tronフォーラム（http://www.tron.org/ja/）で公開のオープンソース T-Kernel2.0 & Extensyon(T2EX)から、Raspberry Pi にポーティングしたリアルタイムＯＳ。
関連する技術情報を、本ページを起点に作成していく。
ビルド環境・ライセンス規約など、下記記事参照。
TYPE_RPIは、コンパイル時にRasperry Piの機種を区別しているmake変数。
| モデル | TYPE_RPI | 備考 |
|---|---|---|
| Pi Zero | 1 | |
| Pi 1 Model B+ | 1 | 動作未確認 |
| Pi 2 Model B | 2 | シングルコア動作 |
| Pi 3 Model B | 3 | 32bit,シングルコア動作 |