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

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

  * [[.build:start]]
  * [[.execution:start]]
  * [[.implement:start]]



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

「[[develop:rtk_kernel:start]]」


対応機種
-------
`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,シングルコア動作  |

コンパイル手順
-------------
「[[develop:rtk_kernel:rtk_kernel-rpi:build:start|rtk_kernel for Raspberry Piのビルド]]」記事参照。

実行手順
-------
「[[develop:rtk_kernel:rtk_kernel-rpi:execution:start|rtk_kernel for Raspberry Piの実行]]」記事参照。

実装情報
-------
「[[develop:rtk_kernel:rtk_kernel-rpi:implement:start|rtk_kernel for Raspberry Piの実装]]」記事参照。

{{tag>rtk_kernel}}