Onur Özkan
f9a61a086f
Validate configuration through its owning schemas and keep board declarations separate from shared F722 resource ownership. Bound USB transitions, isolate transport failures and retain restart-only activation. Migrate navigation and flight consumers with the sensor and schema contracts. Require explicit installation data and synchronous output authority; board motor outputs remain inhibited. Validation: assembled-prefix host tests, strict Clippy, platform/USB tests and both ARM release builds. Final-source coverage and scoped Miri/Kani evidence are retained separately from hardware qualification.
43 lines
1.5 KiB
TOML
43 lines
1.5 KiB
TOML
[package]
|
|
name = "platform-stm32f7"
|
|
edition.workspace = true
|
|
license.workspace = true
|
|
rust-version.workspace = true
|
|
version.workspace = true
|
|
|
|
[lints]
|
|
workspace = true
|
|
|
|
[dependencies]
|
|
kaptan-err-reportable = { path = "../../libs/kaptan-err-reportable" }
|
|
kaptan-config = { path = "../../libs/kaptan-config" }
|
|
kaptan-ports = { path = "../../libs/kaptan-ports" }
|
|
kaptan-file-mavlink = { path = "../../libs/kaptan-file-mavlink" }
|
|
kaptan-data-channel = { path = "../../libs/kaptan-data-channel" }
|
|
kaptan-drivers = { path = "../../libs/kaptan-drivers" }
|
|
kaptan-i2c = { path = "../../libs/kaptan-i2c" }
|
|
kaptan-log = { path = "../../libs/kaptan-log" }
|
|
kaptan-diagnostics-mavlink = { path = "../../libs/kaptan-diagnostics-mavlink" }
|
|
kaptan-mavlink = { path = "../../libs/kaptan-mavlink" }
|
|
kaptan-sensor = { path = "../../libs/kaptan-sensor" }
|
|
kaptan-spi = { path = "../../libs/kaptan-spi" }
|
|
kaptan-time = { path = "../../libs/kaptan-time" }
|
|
kaptan-tx = { path = "../../libs/kaptan-tx" }
|
|
cortex-m = { version = "0.7", features = ["critical-section-single-core"] }
|
|
critical-section = "1.2"
|
|
cortex-m-rt = "0.7"
|
|
rtic = { version = "2.3", default-features = false, features = [
|
|
"thumbv7-backend",
|
|
] }
|
|
stm32f7 = { version = "0.16", default-features = false, features = [
|
|
"rt",
|
|
"stm32f722",
|
|
] }
|
|
synopsys-usb-otg = { version = "0.4", features = ["cortex-m", "fs"] }
|
|
usb-device = "0.3"
|
|
usbd-serial = "0.2"
|
|
panic-halt = "1"
|
|
|
|
[target.'cfg(not(target_os = "none"))'.dev-dependencies]
|
|
critical-section = { version = "1.2", features = ["std"] }
|