SUMMARY.md

Summary

Introduction

Rust Fundamentals

• Fizzbuzz
  • Fizzbuzz Cheat-Sheet
• Fizzbuzz with match
• Rust Latin
• URLs, match, result
• SimpleDB
  • Knowledge
  • Step-by-Step Solution
• Green and Yellow game

Applied Rust

• Shapes
• Connected Mailbox
• Multithreaded mailbox

Self-check Project

• Self-check project

Bare-Metal Firmware on the nRF52

• Preparation
  • Code Organization
  • Hardware
  • Software Tools
• References and Resources
  • Tooltips
• Troubleshooting
  • cargo-size is not working
  • Rust analyzer is not working
  • cargo build fails to link
  • Dongle USB functionality is not working
  • cargo run errors
  • no probe was found error
  • location info is incomplete error

nRF52 Radio Workbook

• nRF52 Radio Workbook
  • Parts of an Embedded Program
  • Building an Embedded Program
  • Binary Size
  • Running the Program
  • Panicking
  • Using a Hardware Abstraction Layer
  • Timers and Time
  • nRF52840 Dongle
  • Radio Out
    • Radio Setup
    • Messages
    • Link Quality Indicator (LQI)
  • Radio In
  • Radio Puzzle
  • Radio Puzzle Help
  • Next Steps
    • Alternative containers
    • Collision avoidance
    • Interrupt handling
    • Starting a Project from Scratch

nRF52 HAL Workbook

• nRF52 HAL Workbook
  • Adding Buttons

nRF52 USB Workbook

• nRF52 USB Workbook
  • Listing USB Devices
  • Hello, world!
  • Checking the API documentation
  • RTIC hello
  • Dealing with Registers
  • Event Handling
  • Task State
  • USB Enumeration
  • USB-1: Dealing with USB Events
  • USB Endpoints
  • USB Control Transfers
  • USB-2: SETUP Stage
  • USB Device Descriptors
  • USB-3: DATA Stage
  • USB Configuration Descriptors
  • USB-4: Supporting more Standard Requests
  • USB-5: Getting it Configured
  • USB-5: Idle State
  • Next Steps
  • Extra Info
    • The USB Specification
    • DMA
    • SET_CONFIGURATION (Linux & macOS)
    • USB Interfaces
    • USB Interface descriptor
    • USB Endpoint descriptor
    • Inspecting the Descriptors
    • Stack Overflow Protection

Rust for Real-Time Systems

Working without std

• Working without std
  • Replacing println!

Bare-Metal Firmware on Cortex-R52

• Bare-Metal Firmware on Cortex-R52
  • UART Driver

Async Rust

• Interactive TCP Echo Server
  • Share data between connections

Async chat

• Implementing a chat
  • Specification and Getting started
  • Writing an Accept Loop
  • Receiving Messages
  • Sending Messages
  • A broker as a connection point
  • Glueing all together
  • Clean Shutdown
  • Handling Disconnection
  • Final Server Code
  • Implementing a Client

Kani Rust Verifier

• Verifying Data Structures with Kani

Other Topics