The course will offer participants an introduction to the Rust secure programming language with applicability in TockOS, a secure RTOS for embedded systems.

Workshop kit

Each participant will receive a workshop kit that they will use during the courses. Each kit consists of flashcards and the hardware necessary to follow the workshop and complete the tasks. 

The hardware consists of a Micro:bit v2 device.

The notions covered in this course are:

1. Introduction to the Rust programming language
   1. A basic idea of how rust works
   2. Rust versions
   3. Basic Data Types
   4. Complex data types
   5. Control flow
   6. Functions
   7. Traits
2. Rust memory management
   1. Ownership
   2. Borrow
   3. References
   4. Clone and copy
   5. Memory Allocation
   6. Slices
3. Rust patterns
   1. Pattern matching
   2. Enums
   3. Result & Option
4. Introduction to TockOS
   1. System architecture
   2. Driver development
5. Using the C user space library
   1. Driver library
   2. Application
6. Using the Rust user space library
   1. Driver Library
   2. Application

The programming languages used will be C and Rust.

What do I need to know to attend this course?

• C Language Programming – necessary
• OS knowledge