Tock, a Rust based Embedded Operating System

Agenda

• Presentation: "Tock, a Rust based Embedded Operating System"
This presentation will introduce Tock (tockos.org) an operating system designed for running multiple concurrent, mutually distrustful applications on embedded platforms. We will outline the architecture and demo setting up the kernel and user applications on a nRF5840 development board.
This talk is the first in a three part series. The next talks will dive into Tock's kernel and conclude with how to write user applications to send and receive data wirelessly using the IEEE 802.15.4 protocol and IPv6.

• Round the room--something to share?

The purpose of this meeting is to present a technical topic people can talk about and then provide an opportunity for people to share. The meeting is scheduled for an hour, but may end early.