Searched for: contributor%3A%22Rellermeyer%2C+Jan+S.+%28graduation+committee%29%22
(1 - 1 of 1)
document
Verhaert, Danilo (author)
Tock is an embedded operating system that can run multiple concurrent, mutually distrustful processes, concurrently. Tock is written in Rust, a novel system programming language enforcing type safety at compile-time, and takes advantage of Rust's strong safety features. However, since Tock allows user-level applications to be written in any...
master thesis 2018