Introduction
1.
Overview
1.1.
Terminology
1.2.
Features
2.
Quick start
2.1.
GitHub Codespace tips
3.
Applet user guide
3.1.
Create a new applet
3.2.
Run an applet
3.3.
API
3.4.
Prelude
3.4.1.
LEDs
3.4.2.
Buttons
3.4.3.
Timers
3.4.4.
USB
3.4.5.
UART
3.4.6.
RPC
3.4.7.
Storage
3.5.
Exercises
3.6.
Examples
4.
Runner user guide
4.1.
API
5.
Developer guide
5.1.
Design
FAQ
Links
Acknowledgments
Light
Rust
Coal
Navy
Ayu
Wasefire
API
The board API is documented
here
.