www. O S N E W S .com
News Features Interviews
BlogContact Editorials

Tock: a secure embedded operating system
By Thom Holwerda on 2017-11-08 23:09:21

Tock is an embedded operating system designed for running multiple concurrent, mutually distrustful applications on Cortex-M based embedded platforms. Tock's design centers around protection, both from potentially malicious applications and from device drivers. Tock uses two mechanisms to protect different components of the operating system. First, the kernel and device drivers are written in Rust, a systems programming language that provides compile-time memory safety, type safety and strict aliasing. Tock uses Rust to protect the kernel (e.g. the scheduler and hardware abstraction layer) from platform specific device drivers as well as isolate device drivers from each other. Second, Tock uses memory protection units to isolate applications from each other and the kernel.

Visit the official site and the github repository for more information.

3  Comments - Printer friendly - Related stories
Recent related stories
- An open letter to Intel - 2017-11-07
- PC-MOS released under GPL - 2017-10-21
- ChrysaLisp: an assembler/C-Script/Lisp 64bit OS - 2017-10-14
- Control the operating system, control the future - 2017-10-05
- Redox 0.3.3 released - 2017-09-20
- More related articles
 

Tell a friend
Your full name:
Your email address:
Your friend's email:
Anti-spam measure:
5+2=

News Features Interviews
BlogContact Editorials


WAP site - RSS feed
© OSNews LLC 1997-2007. All Rights Reserved.
The readers' comments are owned and a responsibility of whoever posted them.
Prefer the desktop version of OSNews?