6P by xguru 2020-02-02 | favorite | 댓글 2개

- Cortex-M / RISC-V 기반 임베디드 플랫폼
- 여러개의 응용프로그램을 동시에 안전하게 실행하도록 설계
- 커널/디바이스 드라이버는 Rust로 작성
- IoT/센서 네트웍/소형 보안기기(TPM등)/웨어러블 등을 위한 OS

두가지의 개발용 하드웨어를 주로 사용. Hail ( $60 ), imix ( $100 )
그외에 Nordic 의 nRF51XXX 패밀리를 지원.
https://www.tockos.org/hardware

Tock OS 소개 슬라이드 PDF ( 41P ) : "Tock: A Secure Operating System for Microcontrollers"
https://platformlab.stanford.edu/Presentations/2018/…