[package]
edition = "2021"
name = "rivet-rtos"
version = "0.2.0"
build = "build.rs"
autolib = false
autobins = false
autoexamples = false
autotests = false
autobenches = false
description = "Rivet RTOS: zero-allocation async RTOS kernel — arch/board-independent, see docs/porting.md"
readme = false
license = "MIT"
repository = "https://github.com/habeelali/rivet-rtos"
[features]
atomics-polyfill = ["dep:portable-atomic"]
default = []
host-port = []
latency-histograms = []
loom = ["dep:loom"]
test-support = ["host-port"]
trace = []
[lib]
name = "rivet"
path = "src/lib.rs"
[[test]]
name = "integration"
path = "tests/integration.rs"
[[test]]
name = "loom"
path = "tests/loom.rs"
[[test]]
name = "proptest_sched"
path = "tests/proptest_sched.rs"
[[test]]
name = "proptest_timer"
path = "tests/proptest_timer.rs"
[dependencies.loom]
version = "0.7"
optional = true
[dependencies.portable-atomic]
version = "1"
features = ["critical-section"]
optional = true
default-features = false
[dependencies.rivet-macros]
version = "0.2.0"
[dev-dependencies.proptest]
version = "1"
[lints.rust.unexpected_cfgs]
level = "warn"
priority = 0
check-cfg = [
"cfg(loom)",
"cfg(kani)",
]