Cargo.lock

# This file is automatically @generated by Cargo.
# It is not intended for manual editing.
version = 3

[[package]]
name = "capsules"
version = "0.1.0"
dependencies = [
 "enum_primitive",
 "kernel",
 "tickv",
]

[[package]]
name = "components"
version = "0.1.0"
dependencies = [
 "capsules",
 "kernel",
]

[[package]]
name = "cortexm"
version = "0.1.0"
dependencies = [
 "kernel",
]

[[package]]
name = "cortexm4"
version = "0.1.0"
dependencies = [
 "cortexm",
 "kernel",
]

[[package]]
name = "enum_primitive"
version = "0.1.0"

[[package]]
name = "kernel"
version = "0.1.0"
dependencies = [
 "tock-cells",
 "tock-registers",
 "tock-tbf",
]

[[package]]
name = "stm32mp157c-dk2"
version = "0.1.0"
dependencies = [
 "capsules",
 "components",
 "cortexm4",
 "kernel",
 "stm32mp15xx",
]

[[package]]
name = "stm32mp15xx"
version = "0.1.0"
dependencies = [
 "cortexm4",
 "enum_primitive",
 "kernel",
]

[[package]]
name = "tickv"
version = "0.1.0"

[[package]]
name = "tock-cells"
version = "0.1.0"

[[package]]
name = "tock-registers"
version = "0.7.0"

[[package]]
name = "tock-tbf"
version = "0.1.0"