如何下载 T-Kernel

T-Kernel 是一款实时OS，相关的介绍参考：http://en.wikipedia.org/wiki/T-Kernel

这里介绍一下如何下载。

T-Kernel 的下载在：

http://www.t-engine.org/download/?language=en

这里你先需要注册一个用户，在：

http://www.t-engine.org/download/index.php?route=account/login

注册之后就可以选择下载T-Kernel相关的模块了。

比如T-Kernel 2.0.

选好后加入购物车。

然后申请，就会发一封对应的邮件到你对应的邮箱里。

点击对应的链接。

就可以下载了。