TockOS

TockOS是一款较新近的专用于无线传感器网络节点的一款开源实时操作系统。和其他实时操作系统不同，它使用类型安全而性能接近于C语言的Rust语言编写内核，而且也是第一个这样做的小型实时操作系统。这样一来，TockOS的大部分接口都是类型安全且模块化的。由于Rust语言本身提供类型安全性，因此可以使用Rust扩展内核态功能而不至造成信息安全问题。

内核特性 

 合作性调度的实时内核；
 支持类型安全的Rust胶囊（Capsule）内核扩展；
 支持互相硬件隔离的C语言进程（Processes）；
 支持系统调用接口；
 支持硬件内存保护；
 对常见芯片外设（如GPIO、ADC、串口等）均有框架支持；
 具备低功耗支持；
 具备网络协议栈支持；
 具备USB协议栈支持。

芯片组支持 
Tock支持下列架构：

 TI CC26X2
 Nordic nRF51、nRF52、nRF5x
 Atmel SAM4L
 TI TM4C129x

版本发布 

 2016年5月9日，TockOS的OSDI会议版本发布。这是TockOS的第一个版本。
 2018年2月13日，TockOS 1.0 发布。这是第一个滚动发布，增加了nRF系列和TM4C系列芯片支持，并且包括了一些支持1.0版本系统调用接口的驱动库。
 2018年4月25日，TockOS 1.1 发布。这个版本解决了1.0以来的一些问题，并且增强了低功耗能力。
 2018年6月14日，TockOS 1.2 发布。这个版本修复了一些问题，并支持了NRF52840等带USB接口的芯片。

另请参见 

 嵌入式系统
 微控制器
 物联网

参考资料 

实时操作系统
嵌入式操作系统
ARM操作系统