Posts

Prusto Watch #4: A Retrospective

Prusto Watch #3: Learning How to Properly Debug Arm

Prusto Watch #2: Basic Driver Support

Writing A Driver in Rust Using Embedded-Hal Traits for the RN4870 BLE Module

Prusto Watch #1: First Steps into Arm and the Embedded-Rust Ecosystem

Prusto Watch #0: Design & Goals of the Project