[workspace]
members = [
  "boards/geprc-f722-v2",
  "boards/kakute-f7-mini-v3",
  "libs/kaptan-actuator",
  "libs/kaptan-control",
  "libs/kaptan-config",
  "libs/kaptan-config-derive",
  "libs/kaptan-file-mavlink",
  "libs/kaptan-data-channel",
  "libs/kaptan-drivers",
  "libs/kaptan-err-reportable",
  "libs/kaptan-err-reportable-macros",
  "libs/kaptan-flight-config",
  "libs/kaptan-flight-runtime",
  "libs/kaptan-i2c",
  "libs/kaptan-math",
  "libs/kaptan-mavlink",
  "libs/kaptan-log",
  "libs/kaptan-diagnostics-mavlink",
  "libs/kaptan-navigation",
  "libs/kaptan-ports",
  "libs/kaptan-safety",
  "libs/kaptan-sensor",
  "libs/kaptan-spi",
  "libs/kaptan-time",
  "libs/kaptan-tx",
  "platforms/stm32f7",
  "tools/configurator",
]
exclude = ["vendor/synopsys-usb-otg"]
resolver = "2"

[workspace.package]
version = "0.1.0"
edition = "2024"
license = "AGPL-3.0-only"
rust-version = "1.90"

[workspace.lints.rust]
unsafe_op_in_unsafe_fn = "deny"
unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] }

[workspace.lints.clippy]
undocumented_unsafe_blocks = "deny"

[profile.release]
opt-level = 3
codegen-units = 1
lto = "fat"
panic = "abort"
strip = "symbols"

[patch.crates-io]
synopsys-usb-otg = { path = "vendor/synopsys-usb-otg" }