6 ポイント 投稿者 xguru 2020-02-02 | 2件のコメント | WhatsAppで共有
  • Cortex-M / RISC-V ベースの組み込みプラットフォーム

  • 複数のアプリケーションを同時に安全に実行できるよう設計

  • カーネル / デバイスドライバは Rust で記述

  • IoT / センサーネットワーク / 小型セキュリティ機器(TPM など) / ウェアラブル向けの OS

2件のコメント

 
xguru 2020-02-02

主に2種類の開発用ハードウェアを使用。Hail ( $60 ), imix ( $100 )

そのほか、Nordic の nRF51XXX ファミリーをサポート。

https://www.tockos.org/hardware

 
xguru 2020-02-02

Tock OS 紹介スライド PDF(41P): "Tock: A Secure Operating System for Microcontrollers"

https://platformlab.stanford.edu/Presentations/2018/…