osiris/Cargo.toml at main · OsirisRTOS/osiris · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
[workspace]
members = ["examples/*", "xtasks", "xtasks/crates/*"]
default-members = ["."]

[workspace.dependencies]
logging = { path = "xtasks/logging" }
dtgen = { path = "xtasks/crates/dtgen" }
osiris = { path = "." }

[package]
name = "osiris"
version = "0.1.0"
edition = "2024"

[lib]
path = "src/lib.rs"

[[bin]]
name = "Kernel"
path = "src/main.rs"

[dependencies]
hal = { package = "hal-select", path = "machine/select" }
proc_macros = { package = "macros", path = "macros" }
envparse = "0.1.0"
bitflags = "2.10.0"
defmt = { version = "1.0", optional = true }
defmt-rtt = { version = "1.0", optional = true }

[dev-dependencies]
# This is a host-compatible HAL which will be used for running tests and verification on the host.
hal-testing = { path = "machine/testing", features = [] }
rand = "0.8.5"

[target.'cfg(kani_ra)'.dependencies]
kani = { git = "https://github.com/model-checking/kani" }

[features]
default = []
nightly = []
no-atomic-cas = []
multi-core = []
error-msg = []
defmt = ["dep:defmt", "dep:defmt-rtt"]

[build-dependencies]
cbindgen = "0.28.0"
bindgen = "0.69.5"
walkdir = "2.5.0"
syn = "2.0.100"
quote = "1.0.40"
rand = "0.8.5"
cfg_aliases = "0.2.1"

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

[profile.dev]
panic = "abort"
strip = false
opt-level = 2

[profile.release]
panic = "abort"
opt-level = "z"
codegen-units = 1
lto = true