[workspace]
members = [
    "nucleus",
    "vesper-user",
    "crates/tock-registers"
]

[profile.dev]
# See https://github.com/rust-lang/cargo/issues/7359 about why panic=abort is not working here.
# It is still defined in the target JSON so not stricly necessary to specify it here anyway.
#panic = "abort" # @todo try panic_rtt with feature jlink
opt-level = 's' # otherwise boot code will be mangled

[profile.release]
panic = "abort"
opt-level = 's'
debug = true
lto = true

[profile.test]
opt-level = 's'
debug = true

[patch.crates-io]
tock-registers = { path = 'crates/tock-registers' }
# register = { git = 'https://github.com/metta-systems/register-rs', branch = 'update-deps-1' }