帮酷LOGO
  • 显示原文与译文双语对照的内容
文章标签:Opera  micr  Microcontroller  microc  BASE  操作系统  SYS  secure  
My development tree for the Tock OS.

  • 源代码名称:tock
  • 源代码网址:http://www.github.com/helena-project/tock
  • tock源代码文档
  • tock源代码下载
  • Git URL:
    git://www.github.com/helena-project/tock.git
  • Git Clone代码到本地:
    git clone http://www.github.com/helena-project/tock
  • Subversion代码到本地:
    $ svn co --depth empty http://www.github.com/helena-project/tock
    Checked out revision 1.
    $ cd repo
    $ svn up trunk
  • TockOS

    Build Statusirc

    Tock是一种嵌入式操作系统,用于在基于distrustful的嵌入式平台上运行多个并发的。 围绕潜在恶意应用程序和设备驱动程序的保护围绕保护的设计。 Tock使用两种机制保护操作系统的不同组件。 首先,内核和设备驱动程序是用 Rust 编写的,系统编程语言提供编译时内存安全性。类型安全性和严格的。 Tock使用 Rust 来保护内核( 比如 。 从平台特定设备驱动程序和隔离设备驱动程序中分离出调度程序和硬件抽象层。 第二,Tock使用内存保护单元来隔离应用程序和内核。

    了解更多

    你希望如何开始?

    使用时间

    首先,按照入门指南设置你的系统来编译Tock和Tock应用程序。

    然后到硬件页面,了解硬件平台的实时支持。 还要查看教程,以开始使用TockOS运行应用程序。

    开发时间

    请阅读入门指南获取 Rust 编译器的正确版本,然后查看 /kernel/capsules/chips/boards 目录。

    我们很高兴接受请求请求,并期待时间的增长。

    了解时间如何工作

    Tock文档的设计和实现都记录在文档文件夹中。 阅读指南,了解内核,使用 Rust的,构建系统和应用程序。

    保持最新

    看看博客Talking post post post highlights highlights highlights what 。 同时,在 Twitter 上遵循 @talkingtock

    你还可以浏览我们的电子邮件小组,查看关于时间开发的讨论。



    文章标签:BASE  SYS  系统  micr  Opera  secure  操作系统  microc  

    Copyright © 2011 HelpLib All rights reserved.    知识分享协议 京ICP备05059198号-3  |  如果智培  |  酷兔英语