RTIC on the f4xx nucleo
Course material for the 2020 installment.
Simple example of a procedural macro
Erode, all errors of Rust!
App to test probe.rs setup
Host side logger for RTFM applications.
Low level bindings for KLEE.