Onur Özkan
62b18d5b2e
Replace argument recovery with direct build targets. Run host, target, board, coverage, Miri and selected Kani checks while retaining source identities, logs and artifacts, including failed attempts. Keep the PID proof diagnostic exception explicit and match its exact identity alongside passing contract assertions and covers. Validation: final-source verification matrix, assembled workflow tests and documentation build.
26 lines
885 B
Markdown
26 lines
885 B
Markdown
# Firmware
|
|
|
|
Kaptan flight-controller firmware workspace.
|
|
|
|
```text
|
|
firmware/
|
|
├── boards/ board hardware declarations and entry points
|
|
├── libs/ reusable no_std firmware crates
|
|
├── platforms/ hardware composition, configuration and linker layouts
|
|
├── tools/ local configuration and telemetry tools
|
|
└── scripts/ packaging, analysis, and coverage helpers
|
|
```
|
|
|
|
List commands from this directory:
|
|
|
|
```sh
|
|
make help
|
|
```
|
|
|
|
Run Cargo directly from this directory. Build and package every supported board
|
|
with `make -C boards build`, or one with `make -C boards/<board> build`.
|
|
The workspace pins Rust 1.90.0. See
|
|
[development checks](../docs/src/development.md) for the supported workflows.
|
|
The board images do not yet run the flight runtime or implement motor drivers.
|
|
Motor pins are inhibited at startup. Physical flight has not been qualified.
|