Tronフォーラム（http://www.tron.org/ja/）で公開のオープンソース T-Kernel2.0 & Extensyon(T2EX)から、Raspberry Pi にポーティングしたリアルタイムＯＳ。

関連する技術情報を、本ページを起点に作成していく。

• ビルド
• 実行
• 実装

ビルド環境・ライセンス規約など、下記記事参照。

「rtk_kernel」

TYPE_RPIは、コンパイル時にRasperry Piの機種を区別しているmake変数。

「rtk_kernel for Raspberry Piのビルド」記事参照。

「rtk_kernel for Raspberry Piの実行」記事参照。

「rtk_kernel for Raspberry Piの実装」記事参照。