version = 4
[[package]]
name = "aarch64-cpu"
version = "11.2.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "44171e22925ec72b63d86747bc3655c7849a5b8d865c980222128839f45ac034"
dependencies = [
"tock-registers",
]
[[package]]
name = "aarch64_sysreg"
version = "0.3.8"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "4bb62781a543789557327f39016acb6c390afde7c64aa127594e4f95a631e0c1"
[[package]]
name = "arm_vgic"
version = "0.5.2"
dependencies = [
"aarch64-cpu",
"aarch64_sysreg",
"ax-crate-interface",
"ax-errno",
"ax-kspin",
"ax-memory-addr",
"axdevice_base",
"axvm-types",
"bitmaps",
"log",
"spin",
"tock-registers",
]
[[package]]
name = "ax-cpumask"
version = "0.3.5"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "d61664cf08f5bf7890ef4b34b32f06dc698786e4078df82eef7386762afdeb42"
dependencies = [
"bitmaps",
]
[[package]]
name = "ax-crate-interface"
version = "0.5.7"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "bf15768c43061f501f803de42ac83af3abe9c2b04f56360060e591997be1d964"
dependencies = [
"proc-macro2",
"quote",
"syn",
]
[[package]]
name = "ax-errno"
version = "0.6.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "0c022cf0479c114aaf55acd23dedad5f0c7e4011142231e60e7a91f47cc070e6"
dependencies = [
"log",
"quote",
"strum",
]
[[package]]
name = "ax-kernel-guard"
version = "0.3.11"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "fcdd992ed9aa73efc8240b84bb973e3a960c1f62504d3fc21aaabcdbbe6ddd2d"
dependencies = [
"ax-crate-interface",
"cfg-if",
]
[[package]]
name = "ax-kspin"
version = "0.3.14"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "fa2f2abd9c7ee324f618d495467cab416b9b75e5fff8743f43f2357d891c992d"
dependencies = [
"ax-kernel-guard",
"cfg-if",
]
[[package]]
name = "ax-memory-addr"
version = "0.6.9"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "e861996f613f44e52b2a04a1123bf72c8de2a1766a9fd7132967bf649d5e068f"
[[package]]
name = "axdevice_base"
version = "0.6.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "1c6c83dc6d1dcb8c8e3df6f0b627fb3b2780d08c0bb081f745df0743d53993f2"
dependencies = [
"ax-errno",
"ax-memory-addr",
"axvm-types",
"log",
"serde",
]
[[package]]
name = "axvm-types"
version = "0.7.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "f54b74f15cbac5bd611f644d2be24a16273b64944871627618e3052f6854f071"
dependencies = [
"ax-cpumask",
"ax-errno",
"ax-memory-addr",
"bitflags",
]
[[package]]
name = "bitflags"
version = "2.13.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "b4388bee8683e3d04af747c73422af53102d2bd24d9eadb6cbc100baef4b43f8"
[[package]]
name = "bitmaps"
version = "3.2.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "a1d084b0137aaa901caf9f1e8b21daa6aa24d41cd806e111335541eff9683bd6"
[[package]]
name = "cfg-if"
version = "1.0.4"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "9330f8b2ff13f34540b44e946ef35111825727b38d33286ef986142615121801"
[[package]]
name = "heck"
version = "0.5.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "2304e00983f87ffb38b55b444b5e3b60a884b5d30c0fca7d82fe33449bbe55ea"
[[package]]
name = "lock_api"
version = "0.4.14"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "224399e74b87b5f3557511d98dff8b14089b3dadafcab6bb93eab67d3aace965"
dependencies = [
"scopeguard",
]
[[package]]
name = "log"
version = "0.4.33"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "0ceec5bc11778974d1bcb055b18002eba7f4b3518b6a0081b3af5f21666da9ad"
[[package]]
name = "proc-macro2"
version = "1.0.106"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8fd00f0bb2e90d81d1044c2b32617f68fcb9fa3bb7640c23e9c748e53fb30934"
dependencies = [
"unicode-ident",
]
[[package]]
name = "quote"
version = "1.0.46"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "dfbc457d0c7a0759a614551b11a6409e5951f6c7537be1f1b7682b9ae9230368"
dependencies = [
"proc-macro2",
]
[[package]]
name = "scopeguard"
version = "1.2.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "94143f37725109f92c262ed2cf5e59bce7498c01bcc1502d7b9afe439a4e9f49"
[[package]]
name = "serde"
version = "1.0.228"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "9a8e94ea7f378bd32cbbd37198a4a91436180c5bb472411e48b5ec2e2124ae9e"
dependencies = [
"serde_core",
"serde_derive",
]
[[package]]
name = "serde_core"
version = "1.0.228"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "41d385c7d4ca58e59fc732af25c3983b67ac852c1a25000afe1175de458b67ad"
dependencies = [
"serde_derive",
]
[[package]]
name = "serde_derive"
version = "1.0.228"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "d540f220d3187173da220f885ab66608367b6574e925011a9353e4badda91d79"
dependencies = [
"proc-macro2",
"quote",
"syn",
]
[[package]]
name = "spin"
version = "0.12.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "1527984ca054dfca79333baec451042863f485fbee01b7bf6d911de915cac865"
dependencies = [
"lock_api",
]
[[package]]
name = "strum"
version = "0.27.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "af23d6f6c1a224baef9d3f61e287d2761385a5b88fdab4eb4c6f11aeb54c4bcf"
dependencies = [
"strum_macros",
]
[[package]]
name = "strum_macros"
version = "0.27.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "7695ce3845ea4b33927c055a39dc438a45b059f7c1b3d91d38d10355fb8cbca7"
dependencies = [
"heck",
"proc-macro2",
"quote",
"syn",
]
[[package]]
name = "syn"
version = "2.0.118"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "1b9ae57f904213ebb649ce6895b8a66c66f0203b9319718f69a5612a065b1422"
dependencies = [
"proc-macro2",
"quote",
"unicode-ident",
]
[[package]]
name = "tock-registers"
version = "0.10.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8d2d250f87fb3fb6f225c907cf54381509f47b40b74b1d1f12d2dccbc915bdfe"
[[package]]
name = "unicode-ident"
version = "1.0.24"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "e6e4313cd5fcd3dad5cafa179702e2b244f760991f45397d14d4ebf38247da75"