Open Source Summit + ELC North America 2020

In recent years, RTOSes have become more and more popular among IoT developers. Though not as capable or feature rich as Linux, RTOSes provide a great framework for developing complex IoT applications that run on low power devices. Most of these systems, work as a single piece of software, with no clear separation between kernel, drivers and user space. All of them are written in C/C++, which makes them susceptible to the most common security bugs like dangling pointers, buffer overflows and memory leaks.

TockOS is a new RTOS entirely written in Rust. We believe that what started as a "Stanford & all" research project has the potential to a game changer in the IoT environment. In this talk, we will describe the "crossover" architecture of TockOS, as it has separated kernel, drivers (capsules) and user space, and our ongoing journey of porting it to crossover MCUs based on i.MX RT series. In our quest to build a development environment around TockOS, we will present our experience to run a ported version of JerryScript on top of it and provide a simple SDK for peripherals.