TockOS

TockOS是一款較新近的專用於無線傳感器網絡節點的一款開源實時操作系統 。 和其他實時操作系統不同 ， 它使用類型安全而性能接近於C語言的Rust語言編寫內核 ， 而且也是第一個這樣做的小型實時操作系統 。 這樣一來 ， TockOS的大部分接口都是類型安全且模塊化的 。 由於Rust語言本身提供類型安全性 ， 因此可以使用Rust擴展內核態功能而不至造成信息安全問題 。