Cargo.lock

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

[[package]]
name = "aarch64-cpu"
version = "10.0.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "6a21cd0131c25c438e19cd6a774adf7e3f64f7f4d723022882facc2dee0f8bc9"
dependencies = [
 "tock-registers",
]

[[package]]
name = "ab_glyph"
version = "0.2.29"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "ec3672c180e71eeaaac3a541fbbc5f5ad4def8b747c595ad30d674e43049f7b0"
dependencies = [
 "ab_glyph_rasterizer",
 "libm",
 "owned_ttf_parser",
]

[[package]]
name = "ab_glyph_rasterizer"
version = "0.1.8"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "c71b1793ee61086797f5c80b6efa2b8ffa6d5dd703f118545808a7f2e27f7046"
dependencies = [
 "libm",
]

[[package]]
name = "addr2line"
version = "0.24.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "dfbe277e56a376000877090da837660b4427aad530e3028d44e0bffe4f89a1c1"
dependencies = [
 "cpp_demangle",
 "fallible-iterator",
 "gimli",
 "rustc-demangle",
 "smallvec",
]

[[package]]
name = "adler2"
version = "2.0.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "512761e0bb2578dd7380c6baaa0f4ce03e84f95e960231d1dec8bf4d7d6e2627"

[[package]]
name = "ahash"
version = "0.8.11"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "e89da841a80418a9b391ebaea17f5c112ffaaa96f621d2c285b5174da76b9011"
dependencies = [
 "cfg-if",
 "once_cell",
 "version_check",
 "zerocopy 0.7.35",
]

[[package]]
name = "aho-corasick"
version = "1.1.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8e60d3430d3a69478ad0993f19238d2df97c507009a52b3c10addcd7f6bcb916"
dependencies = [
 "memchr",
]

[[package]]
name = "aligned"
version = "0.4.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "377e4c0ba83e4431b10df45c1d4666f178ea9c552cac93e60c3a88bf32785923"
dependencies = [
 "as-slice",
]

[[package]]
name = "allocator-api2"
version = "0.2.21"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "683d7910e743518b0e34f1186f92494becacb047c7b6bf616c96772180fef923"

[[package]]
name = "anstream"
version = "0.6.18"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8acc5369981196006228e28809f761875c0327210a891e941f4c683b3a99529b"
dependencies = [
 "anstyle",
 "anstyle-parse",
 "anstyle-query",
 "anstyle-wincon",
 "colorchoice",
 "is_terminal_polyfill",
 "utf8parse",
]

[[package]]
name = "anstyle"
version = "1.0.10"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "55cc3b69f167a1ef2e161439aa98aed94e6028e5f9a59be9a6ffb47aef1651f9"

[[package]]
name = "anstyle-parse"
version = "0.2.6"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "3b2d16507662817a6a20a9ea92df6652ee4f94f914589377d69f3b21bc5798a9"
dependencies = [
 "utf8parse",
]

[[package]]
name = "anstyle-query"
version = "1.1.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "79947af37f4177cfead1110013d678905c37501914fba0efea834c3fe9a8d60c"
dependencies = [
 "windows-sys 0.59.0",
]

[[package]]
name = "anstyle-wincon"
version = "3.0.7"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "ca3534e77181a9cc07539ad51f2141fe32f6c3ffd4df76db8ad92346b003ae4e"
dependencies = [
 "anstyle",
 "once_cell",
 "windows-sys 0.59.0",
]

[[package]]
name = "anyhow"
version = "1.0.95"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "34ac096ce696dc2fcabef30516bb13c0a68a11d30131d3df6f04711467681b04"

[[package]]
name = "as-any"
version = "0.3.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "b0f477b951e452a0b6b4a10b53ccd569042d1d01729b519e02074a9c0958a063"

[[package]]
name = "as-slice"
version = "0.2.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "516b6b4f0e40d50dcda9365d53964ec74560ad4284da2e7fc97122cd83174516"
dependencies = [
 "stable_deref_trait",
]

[[package]]
name = "async-unsync"
version = "0.3.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "da39954ed37b9dbb0475df268f10deb609213aefdc6c896adf88417bb2fa7efe"

[[package]]
name = "atomic-polyfill"
version = "1.0.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8cf2bce30dfe09ef0bfaef228b9d414faaf7e563035494d7fe092dba54b300f4"
dependencies = [
 "critical-section",
]

[[package]]
name = "autocfg"
version = "1.4.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "ace50bade8e6234aa140d9a2f552bbee1db4d353f69b8217bc503490fc1a9f26"

[[package]]
name = "banscii-artist"
version = "0.1.0"
dependencies = [
 "banscii-artist-interface-types",
 "rsa",
 "sel4-microkit",
 "sel4-microkit-message",
 "sel4-shared-memory",
]

[[package]]
name = "banscii-artist-interface-types"
version = "0.1.0"
dependencies = [
 "serde",
]

[[package]]
name = "banscii-assistant"
version = "0.1.0"
dependencies = [
 "banscii-artist-interface-types",
 "banscii-assistant-core",
 "embedded-hal-nb",
 "hex",
 "sel4-microkit",
 "sel4-microkit-driver-adapters",
 "sel4-microkit-message",
 "sel4-shared-memory",
]

[[package]]
name = "banscii-assistant-core"
version = "0.1.0"
dependencies = [
 "ab_glyph",
 "log",
 "num-traits",
]

[[package]]
name = "banscii-assistant-core-test"
version = "0.1.0"
dependencies = [
 "banscii-assistant-core",
 "env_logger",
 "log",
]

[[package]]
name = "banscii-serial-driver"
version = "0.1.0"
dependencies = [
 "sel4-microkit",
 "sel4-microkit-driver-adapters",
 "sel4-microkit-message",
 "sel4-pl011-driver",
]

[[package]]
name = "base64"
version = "0.22.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "72b3254f16251a8381aa12e40e3c4d2f0199f8c6508fbecb9d91f575e0fbb8c6"

[[package]]
name = "base64ct"
version = "1.6.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8c3c1a368f70d6cf7302d78f8f7093da241fb8e8807c05cc9e51a125895a6d5b"

[[package]]
name = "bindgen"
version = "0.70.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "f49d8fed880d473ea71efb9bf597651e77201bdd4893efe54c9e5d65ae04ce6f"
dependencies = [
 "bitflags 2.8.0",
 "cexpr",
 "clang-sys",
 "itertools 0.13.0",
 "log",
 "prettyplease",
 "proc-macro2",
 "quote",
 "regex",
 "rustc-hash",
 "shlex",
 "syn",
]

[[package]]
name = "bit_field"
version = "0.10.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "dc827186963e592360843fb5ba4b973e145841266c1357f7180c43526f2e5b61"

[[package]]
name = "bitfield"
version = "0.17.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "f798d2d157e547aa99aab0967df39edd0b70307312b6f8bd2848e6abe40896e0"

[[package]]
name = "bitflags"
version = "1.3.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "bef38d45163c2f1dde094a7dfd33ccf595c92905c8f8f4fdc18d06fb1037718a"

[[package]]
name = "bitflags"
version = "2.8.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8f68f53c83ab957f72c32642f3868eec03eb974d1fb82e453128456482613d36"

[[package]]
name = "block-buffer"
version = "0.10.4"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "3078c7629b62d3f0439517fa394996acacc5cbc91c5a20d8c658e77abd503a71"
dependencies = [
 "generic-array",
]

[[package]]
name = "builtin"
version = "0.1.0"
source = "git+https://github.com/coliasgroup/verus.git?tag=keep/a60b3b7e08d514dc8e0ac3b30236db0c#a60b3b7e08d514dc8e0ac3b30236db0c3023c17a"

[[package]]
name = "builtin_macros"
version = "0.1.0"
source = "git+https://github.com/coliasgroup/verus.git?tag=keep/a60b3b7e08d514dc8e0ac3b30236db0c#a60b3b7e08d514dc8e0ac3b30236db0c3023c17a"
dependencies = [
 "prettyplease_verus",
 "proc-macro2",
 "quote",
 "syn",
 "syn_verus",
 "synstructure",
]

[[package]]
name = "bytemuck"
version = "1.21.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "ef657dfab802224e671f5818e9a4935f9b1957ed18e58292690cc39e7a4092a3"
dependencies = [
 "bytemuck_derive",
]

[[package]]
name = "bytemuck_derive"
version = "1.8.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "3fa76293b4f7bb636ab88fd78228235b5248b4d05cc589aed610f954af5d7c7a"
dependencies = [
 "proc-macro2",
 "quote",
 "syn",
]

[[package]]
name = "byteorder"
version = "1.5.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "1fd0f2584146f6f2ef48085050886acf353beff7305ebd1ae69500e27c67f64b"

[[package]]
name = "cc"
version = "1.2.14"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "0c3d1b2e905a3a7b00a6141adb0e4c0bb941d11caf55349d863942a1cc44e3c9"
dependencies = [
 "shlex",
]

[[package]]
name = "cexpr"
version = "0.6.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "6fac387a98bb7c37292057cffc56d62ecb629900026402633ae9160df93a8766"
dependencies = [
 "nom",
]

[[package]]
name = "cfg-if"
version = "1.0.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "baf1de4339761588bc0619e3cbc0120ee582ebb74b53b4efbf79117bd2da40fd"

[[package]]
name = "chrono"
version = "0.4.39"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "7e36cc9d416881d2e24f9a963be5fb1cd90966419ac844274161d10488b3e825"
dependencies = [
 "num-traits",
 "serde",
]

[[package]]
name = "clang-sys"
version = "1.8.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "0b023947811758c97c59bf9d1c188fd619ad4718dcaa767947df1cadb14f39f4"
dependencies = [
 "glob",
 "libc",
 "libloading",
]

[[package]]
name = "clap"
version = "4.5.29"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8acebd8ad879283633b343856142139f2da2317c96b05b4dd6181c61e2480184"
dependencies = [
 "clap_builder",
]

[[package]]
name = "clap_builder"
version = "4.5.29"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "f6ba32cbda51c7e1dfd49acc1457ba1a7dec5b64fe360e828acb13ca8dc9c2f9"
dependencies = [
 "anstream",
 "anstyle",
 "clap_lex",
 "strsim",
]

[[package]]
name = "clap_lex"
version = "0.7.4"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "f46ad14479a25103f283c0f10005961cf086d8dc42205bb44c46ac563475dca6"

[[package]]
name = "cobs"
version = "0.2.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "67ba02a97a2bd10f4b59b25c7973101c79642302776489e030cd13cdab09ed15"

[[package]]
name = "colorchoice"
version = "1.0.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "5b63caa9aa9397e2d9480a9b13673856c78d8ac123288526c37d7839f2a86990"

[[package]]
name = "const-oid"
version = "0.9.6"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "c2459377285ad874054d797f3ccebf984978aa39129f6eafde5cdc8315b612f8"

[[package]]
name = "core_maths"
version = "0.1.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "77745e017f5edba1a9c1d854f6f3a52dac8a12dd5af5d2f54aecf61e43d80d30"
dependencies = [
 "libm",
]

[[package]]
name = "cpp_demangle"
version = "0.4.4"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "96e58d342ad113c2b878f16d5d034c03be492ae460cdbc02b7f0f2284d310c7d"
dependencies = [
 "cfg-if",
]

[[package]]
name = "cpufeatures"
version = "0.2.17"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "59ed5838eebb26a2bb2e58f6d5b5316989ae9d08bab10e0e6d103e656d1b0280"
dependencies = [
 "libc",
]

[[package]]
name = "crc"
version = "3.2.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "69e6e4d7b33a94f0991c26729976b10ebde1d34c3ee82408fb536164fa10d636"
dependencies = [
 "crc-catalog",
]

[[package]]
name = "crc-catalog"
version = "2.4.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "19d374276b40fb8bbdee95aef7c7fa6b5316ec764510eb64b8dd0e2ed0d7e7f5"

[[package]]
name = "crc32fast"
version = "1.4.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "a97769d94ddab943e4510d138150169a2758b5ef3eb191a9ee688de3e23ef7b3"
dependencies = [
 "cfg-if",
]

[[package]]
name = "critical-section"
version = "1.2.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "790eea4361631c5e7d22598ecd5723ff611904e3344ce8720784c93e3d83d40b"

[[package]]
name = "crypto-common"
version = "0.1.6"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "1bfb12502f3fc46cca1bb51ac28df9d618d813cdc3d2f25b9fe775a34af26bb3"
dependencies = [
 "generic-array",
 "typenum",
]

[[package]]
name = "dafny_runtime"
version = "0.1.0"
source = "git+https://github.com/coliasgroup/dafny.git?tag=keep/02d0a578fdf594a38c7c72d7ad56e1a6#02d0a578fdf594a38c7c72d7ad56e1a62e464f44"
dependencies = [
 "as-any",
 "hashbrown 0.14.5",
 "itertools 0.11.0",
 "num",
 "once_cell",
 "paste",
]

[[package]]
name = "defmt"
version = "0.3.10"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "86f6162c53f659f65d00619fe31f14556a6e9f8752ccc4a41bd177ffcf3d6130"
dependencies = [
 "bitflags 1.3.2",
 "defmt-macros",
]

[[package]]
name = "defmt-macros"
version = "0.4.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "9d135dd939bad62d7490b0002602d35b358dce5fd9233a709d3c1ef467d4bde6"
dependencies = [
 "defmt-parser",
 "proc-macro-error2",
 "proc-macro2",
 "quote",
 "syn",
]

[[package]]
name = "defmt-parser"
version = "0.4.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "3983b127f13995e68c1e29071e5d115cd96f215ccb5e6812e3728cd6f92653b3"
dependencies = [
 "thiserror 2.0.11",
]

[[package]]
name = "der"
version = "0.7.9"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "f55bf8e7b65898637379c1b74eb1551107c8294ed26d855ceb9fd1a09cfc9bc0"
dependencies = [
 "const-oid",
 "pem-rfc7468",
 "zeroize",
]

[[package]]
name = "deranged"
version = "0.3.11"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "b42b6fa04a440b495c8b04d0e71b707c585f83cb9cb28cf8cd0d976c315e31b4"
dependencies = [
 "powerfmt",
]

[[package]]
name = "digest"
version = "0.10.7"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "9ed9a281f7bc9b7576e61468ba615a66a5c8cfdff42420a70aa82701a3b1e292"
dependencies = [
 "block-buffer",
 "const-oid",
 "crypto-common",
]

[[package]]
name = "dlmalloc"
version = "0.2.8"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8cff88b751e7a276c4ab0e222c3f355190adc6dde9ce39c851db39da34990df7"
dependencies = [
 "cfg-if",
 "libc",
 "windows-sys 0.59.0",
]

[[package]]
name = "either"
version = "1.13.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "60b1af1c220855b6ceac025d3f6ecdd2b7c4894bfe9cd9bda4fbb4bc7c0d4cf0"

[[package]]
name = "embedded-fat"
version = "0.5.0"
source = "git+https://github.com/coliasgroup/rust-embedded-fat.git?tag=keep/e1465a43c9f550ef58701a275b313310#e1465a43c9f550ef58701a275b3133105deb9183"
dependencies = [
 "byteorder",
 "heapless 0.7.17",
 "log",
]

[[package]]
name = "embedded-hal"
version = "1.0.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "361a90feb7004eca4019fb28352a9465666b24f840f5c3cddf0ff13920590b89"

[[package]]
name = "embedded-hal-nb"
version = "1.0.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "fba4268c14288c828995299e59b12babdbe170f6c6d73731af1b4648142e8605"
dependencies = [
 "embedded-hal",
 "nb",
]

[[package]]
name = "embedded-io"
version = "0.4.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "ef1a6892d9eef45c8fa6b9e0086428a2cca8491aca8f787c534a3d6d0bcb3ced"

[[package]]
name = "embedded-io"
version = "0.6.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "edd0f118536f44f5ccd48bcb8b111bdc3de888b58c74639dfb034a357d0f206d"

[[package]]
name = "embedded-io-async"
version = "0.6.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "3ff09972d4073aa8c299395be75161d582e7629cd663171d62af73c8d50dba3f"
dependencies = [
 "embedded-io 0.6.1",
]

[[package]]
name = "enumn"
version = "0.1.14"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "2f9ed6b3789237c8a0c1c505af1c7eb2c560df6186f01b098c3a1064ea532f38"
dependencies = [
 "proc-macro2",
 "quote",
 "syn",
]

[[package]]
name = "env_filter"
version = "0.1.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "186e05a59d4c50738528153b83b0b0194d3a29507dfec16eccd4b342903397d0"
dependencies = [
 "log",
 "regex",
]

[[package]]
name = "env_logger"
version = "0.11.6"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "dcaee3d8e3cfc3fd92428d477bc97fc29ec8716d180c0d74c643bb26166660e0"
dependencies = [
 "anstream",
 "anstyle",
 "env_filter",
 "humantime",
 "log",
]

[[package]]
name = "equivalent"
version = "1.0.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "877a4ace8713b0bcf2a4e7eec82529c029f1d0619886d18145fea96c3ffe5c0f"

[[package]]
name = "example-root-task"
version = "0.1.0"
dependencies = [
 "sel4",
 "sel4-root-task",
]

[[package]]
name = "example-root-task-without-runtime"
version = "0.1.0"
dependencies = [
 "cfg-if",
 "sel4",
]

[[package]]
name = "fallible-iterator"
version = "0.3.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "2acce4a10f12dc2fb14a218589d4f1f62ef011b2d0cc4b3cb1bba8e94da14649"

[[package]]
name = "fdt"
version = "0.1.5"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "784a4df722dc6267a04af36895398f59d21d07dce47232adf31ec0ff2fa45e67"

[[package]]
name = "flate2"
version = "1.0.35"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "c936bfdafb507ebbf50b8074c54fa31c5be9a1e7e5f467dd659697041407d07c"
dependencies = [
 "crc32fast",
 "miniz_oxide",
]

[[package]]
name = "foldhash"
version = "0.1.4"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "a0d2fde1f7b3d48b8395d5f2de76c18a528bd6a9cdde438df747bfcba3e05d6f"

[[package]]
name = "futures"
version = "0.3.31"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "65bc07b1a8bc7c85c5f2e110c476c7389b4554ba72af57d8445ea63a576b0876"
dependencies = [
 "futures-channel",
 "futures-core",
 "futures-io",
 "futures-sink",
 "futures-task",
 "futures-util",
]

[[package]]
name = "futures-channel"
version = "0.3.31"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "2dff15bf788c671c1934e366d07e30c1814a8ef514e1af724a602e8a2fbe1b10"
dependencies = [
 "futures-core",
 "futures-sink",
]

[[package]]
name = "futures-core"
version = "0.3.31"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "05f29059c0c2090612e8d742178b0580d2dc940c837851ad723096f87af6663e"

[[package]]
name = "futures-io"
version = "0.3.31"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "9e5c1b78ca4aae1ac06c48a526a655760685149f0d465d21f37abfe57ce075c6"

[[package]]
name = "futures-macro"
version = "0.3.31"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "162ee34ebcb7c64a8abebc059ce0fee27c2262618d7b60ed8faf72fef13c3650"
dependencies = [
 "proc-macro2",
 "quote",
 "syn",
]

[[package]]
name = "futures-sink"
version = "0.3.31"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "e575fab7d1e0dcb8d0c7bcf9a63ee213816ab51902e6d244a95819acacf1d4f7"

[[package]]
name = "futures-task"
version = "0.3.31"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "f90f7dce0722e95104fcb095585910c0977252f286e354b5e3bd38902cd99988"

[[package]]
name = "futures-util"
version = "0.3.31"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "9fa08315bb612088cc391249efdc3bc77536f16c91f6cf495e6fbe85b20a4a81"
dependencies = [
 "futures-core",
 "futures-macro",
 "futures-sink",
 "futures-task",
 "pin-project-lite",
 "pin-utils",
]

[[package]]
name = "generic-array"
version = "0.14.7"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "85649ca51fd72272d7821adaf274ad91c288277713d9c18820d8499a7ff69e9a"
dependencies = [
 "typenum",
 "version_check",
]

[[package]]
name = "getrandom"
version = "0.2.15"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "c4567c8db10ae91089c99af84c68c38da3ec2f087c3f82960bcdbf3656b6f4d7"
dependencies = [
 "cfg-if",
 "libc",
 "wasi",
]

[[package]]
name = "gimli"
version = "0.31.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "07e28edb80900c19c28f1072f2e8aeca7fa06b23cd4169cefe1af5aa3260783f"
dependencies = [
 "stable_deref_trait",
]

[[package]]
name = "glob"
version = "0.3.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "a8d1add55171497b4705a648c6b583acafb01d58050a51727785f0b2c8e0a2b2"

[[package]]
name = "gpt_disk_types"
version = "0.16.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "9165f25c3cb4e30437743a410755999f5c753324dfd487d84a30a0858a149021"
dependencies = [
 "bytemuck",
 "crc",
 "ucs2",
 "uguid",
]

[[package]]
name = "hash32"
version = "0.2.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "b0c35f58762feb77d74ebe43bdbc3210f09be9fe6742234d573bacc26ed92b67"
dependencies = [
 "byteorder",
]

[[package]]
name = "hash32"
version = "0.3.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "47d60b12902ba28e2730cd37e95b8c9223af2808df9e902d4df49588d1470606"
dependencies = [
 "byteorder",
]

[[package]]
name = "hashbrown"
version = "0.12.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8a9ee70c43aaf417c914396645a0fa852624801b24ebb7ae78fe8272889ac888"

[[package]]
name = "hashbrown"
version = "0.14.5"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "e5274423e17b7c9fc20b6e7e208532f9b19825d82dfd615708b70edd83df41f1"
dependencies = [
 "ahash",
 "allocator-api2",
]

[[package]]
name = "hashbrown"
version = "0.15.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "bf151400ff0baff5465007dd2f3e717f3fe502074ca563069ce3a6629d07b289"
dependencies = [
 "allocator-api2",
 "equivalent",
 "foldhash",
]

[[package]]
name = "heapless"
version = "0.7.17"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "cdc6457c0eb62c71aac4bc17216026d8410337c4126773b9c5daba343f17964f"
dependencies = [
 "atomic-polyfill",
 "hash32 0.2.1",
 "rustc_version",
 "spin",
 "stable_deref_trait",
]

[[package]]
name = "heapless"
version = "0.8.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "0bfb9eb618601c89945a70e254898da93b13be0388091d42117462b265bb3fad"
dependencies = [
 "hash32 0.3.1",
 "serde",
 "stable_deref_trait",
]

[[package]]
name = "hello"
version = "0.1.0"
dependencies = [
 "sel4",
 "sel4-root-task",
]

[[package]]
name = "hex"
version = "0.4.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "7f24254aa9a54b5c858eaee2f5bccdb46aaf0e486a595ed5fd8f86ba55232a70"

[[package]]
name = "httparse"
version = "1.10.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "f2d708df4e7140240a16cd6ab0ab65c972d7433ab77819ea693fde9c43811e2a"

[[package]]
name = "humantime"
version = "2.1.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "9a3a5bfb195931eeb336b2a7b4d761daec841b97f947d34394601737a7bba5e4"

[[package]]
name = "indexmap"
version = "1.9.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "bd070e393353796e801d209ad339e89596eb4c8d430d18ede6a1cced8fafbd99"
dependencies = [
 "autocfg",
 "hashbrown 0.12.3",
]

[[package]]
name = "indexmap"
version = "2.7.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8c9c992b02b5b4c94ea26e32fe5bccb7aa7d9f390ab5c1221ff895bc7ea8b652"
dependencies = [
 "equivalent",
 "hashbrown 0.15.2",
]

[[package]]
name = "is_terminal_polyfill"
version = "1.70.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "7943c866cc5cd64cbc25b2e01621d07fa8eb2a1a23160ee81ce38704e97b8ecf"

[[package]]
name = "itertools"
version = "0.11.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "b1c173a5686ce8bfa551b3563d0c2170bf24ca44da99c7ca4bfdab5418c3fe57"
dependencies = [
 "either",
]

[[package]]
name = "itertools"
version = "0.13.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "413ee7dfc52ee1a4949ceeb7dbc8a33f2d6c088194d9f922fb8318faf1f01186"
dependencies = [
 "either",
]

[[package]]
name = "itoa"
version = "1.0.14"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "d75a2a4b1b190afb6f5425f10f6a8f959d2ea0b9c2b1d79553551850539e4674"

[[package]]
name = "lazy_static"
version = "1.5.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "bbd2bcb4c963f2ddae06a2efc7e9f3591312473c50c6685e1f298068316e66fe"
dependencies = [
 "spin",
]

[[package]]
name = "libc"
version = "0.2.169"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "b5aba8db14291edd000dfcc4d620c7ebfb122c613afb886ca8803fa4e128a20a"

[[package]]
name = "libloading"
version = "0.8.6"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "fc2f4eb4bc735547cfed7c0a4922cbd04a4655978c09b54f1f7b228750664c34"
dependencies = [
 "cfg-if",
 "windows-targets",
]

[[package]]
name = "libm"
version = "0.2.11"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8355be11b20d696c8f18f6cc018c4e372165b1fa8126cef092399c9951984ffa"

[[package]]
name = "lock_api"
version = "0.4.12"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "07af8b9cdd281b7915f413fa73f29ebd5d55d0d3f0155584dade1ff18cea1b17"
dependencies = [
 "autocfg",
 "scopeguard",
]

[[package]]
name = "log"
version = "0.4.25"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "04cbf5b083de1c7e0222a7a51dbfdba1cbe1c6ab0b15e29fff3f6c077fd9cd9f"

[[package]]
name = "lru"
version = "0.12.5"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "234cf4f4a04dc1f57e24b96cc0cd600cf2af460d4161ac5ecdd0af8e1f3b2a38"
dependencies = [
 "hashbrown 0.15.2",
]

[[package]]
name = "managed"
version = "0.8.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "0ca88d725a0a943b096803bd34e73a4437208b6077654cc4ecb2947a5f91618d"

[[package]]
name = "memchr"
version = "2.7.4"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "78ca9ab1a0babb1e7d5695e3530886289c18cf2f87ec19a575a0abdce112e3a3"

[[package]]
name = "meta"
version = "0.1.0"
dependencies = [
 "cfg-if",
 "log",
 "sel4",
 "sel4-abstract-allocator",
 "sel4-abstract-ptr",
 "sel4-abstract-rc",
 "sel4-async-block-io",
 "sel4-async-block-io-fat",
 "sel4-async-io",
 "sel4-async-network",
 "sel4-async-single-threaded-executor",
 "sel4-async-time",
 "sel4-async-unsync",
 "sel4-bcm2835-aux-uart-driver",
 "sel4-config",
 "sel4-dlmalloc",
 "sel4-driver-interfaces",
 "sel4-elf-header",
 "sel4-immediate-sync-once-cell",
 "sel4-immutable-cell",
 "sel4-initialize-tls",
 "sel4-logging",
 "sel4-microkit",
 "sel4-microkit-message",
 "sel4-microkit-message-types",
 "sel4-newlib",
 "sel4-one-ref-cell",
 "sel4-panicking",
 "sel4-panicking-env",
 "sel4-pl011-driver",
 "sel4-pl031-driver",
 "sel4-platform-info",
 "sel4-reset",
 "sel4-root-task",
 "sel4-shared-memory",
 "sel4-shared-ring-buffer",
 "sel4-shared-ring-buffer-block-io",
 "sel4-shared-ring-buffer-block-io-types",
 "sel4-shared-ring-buffer-bookkeeping",
 "sel4-shared-ring-buffer-smoltcp",
 "sel4-sp804-driver",
 "sel4-stack",
 "sel4-sync",
 "sel4-sys",
 "sel4-virtio-blk",
 "sel4-virtio-hal-impl",
 "sel4-virtio-net",
]

[[package]]
name = "microkit-hello"
version = "0.1.0"
dependencies = [
 "sel4-microkit",
]

[[package]]
name = "microkit-http-server-example-pl031-driver"
version = "0.1.0"
dependencies = [
 "sel4-microkit",
 "sel4-microkit-driver-adapters",
 "sel4-pl031-driver",
]

[[package]]
name = "microkit-http-server-example-server"
version = "0.1.0"
dependencies = [
 "async-unsync",
 "futures",
 "log",
 "microkit-http-server-example-server-core",
 "one-shot-mutex",
 "rcgen",
 "rtcc",
 "sel4",
 "sel4-abstract-allocator",
 "sel4-async-block-io",
 "sel4-async-block-io-fat",
 "sel4-async-network",
 "sel4-async-single-threaded-executor",
 "sel4-async-time",
 "sel4-driver-interfaces",
 "sel4-immediate-sync-once-cell",
 "sel4-logging",
 "sel4-microkit",
 "sel4-microkit-driver-adapters",
 "sel4-microkit-message",
 "sel4-newlib",
 "sel4-shared-memory",
 "sel4-shared-ring-buffer",
 "sel4-shared-ring-buffer-block-io",
 "sel4-shared-ring-buffer-block-io-types",
 "sel4-shared-ring-buffer-bookkeeping",
 "sel4-shared-ring-buffer-smoltcp",
 "smoltcp",
]

[[package]]
name = "microkit-http-server-example-server-core"
version = "0.1.0"
dependencies = [
 "embedded-io-async",
 "futures",
 "httparse",
 "log",
 "rustls",
 "rustls-pemfile",
 "sel4-async-block-io",
 "sel4-async-block-io-fat",
 "sel4-async-io",
 "sel4-async-network",
 "sel4-async-network-rustls",
 "sel4-async-network-rustls-utils",
 "sel4-async-single-threaded-executor",
 "sel4-async-time",
 "sel4-async-unsync",
 "sel4-panicking-env",
 "smoltcp",
 "webpki-roots",
]

[[package]]
name = "microkit-http-server-example-sp804-driver"
version = "0.1.0"
dependencies = [
 "sel4-driver-interfaces",
 "sel4-microkit",
 "sel4-microkit-driver-adapters",
 "sel4-microkit-message",
 "sel4-sp804-driver",
]

[[package]]
name = "microkit-http-server-example-virtio-blk-driver"
version = "0.1.0"
dependencies = [
 "log",
 "sel4",
 "sel4-abstract-allocator",
 "sel4-driver-interfaces",
 "sel4-immediate-sync-once-cell",
 "sel4-logging",
 "sel4-microkit",
 "sel4-microkit-driver-adapters",
 "sel4-microkit-message",
 "sel4-shared-memory",
 "sel4-shared-ring-buffer",
 "sel4-shared-ring-buffer-block-io-types",
 "sel4-virtio-blk",
 "sel4-virtio-hal-impl",
 "virtio-drivers",
]

[[package]]
name = "microkit-http-server-example-virtio-net-driver"
version = "0.1.0"
dependencies = [
 "log",
 "sel4",
 "sel4-abstract-allocator",
 "sel4-immediate-sync-once-cell",
 "sel4-logging",
 "sel4-microkit",
 "sel4-microkit-driver-adapters",
 "sel4-microkit-message",
 "sel4-shared-memory",
 "sel4-shared-ring-buffer",
 "sel4-virtio-hal-impl",
 "sel4-virtio-net",
 "virtio-drivers",
]

[[package]]
name = "minimal-lexical"
version = "0.2.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "68354c5c6bd36d73ff3feceb05efa59b6acb7626617f4962be322a825e61f79a"

[[package]]
name = "miniz_oxide"
version = "0.8.5"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8e3e04debbb59698c15bacbb6d93584a8c0ca9cc3213cb423d31f760d8843ce5"
dependencies = [
 "adler2",
]

[[package]]
name = "nb"
version = "1.1.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8d5439c4ad607c3c23abf66de8c8bf57ba8adcd1f129e699851a6e43935d339d"

[[package]]
name = "nom"
version = "7.1.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "d273983c5a657a70a3e8f2a01329822f3b8c8172b73826411a55751e404a0a4a"
dependencies = [
 "memchr",
 "minimal-lexical",
]

[[package]]
name = "nonmax"
version = "0.5.5"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "610a5acd306ec67f907abe5567859a3c693fb9886eb1f012ab8f2a47bef3db51"

[[package]]
name = "num"
version = "0.4.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "35bd024e8b2ff75562e5f34e7f4905839deb4b22955ef5e73d2fea1b9813cb23"
dependencies = [
 "num-bigint",
 "num-complex",
 "num-integer",
 "num-iter",
 "num-rational",
 "num-traits",
]

[[package]]
name = "num-bigint"
version = "0.4.6"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "a5e44f723f1133c9deac646763579fdb3ac745e418f2a7af9cd0c431da1f20b9"
dependencies = [
 "num-integer",
 "num-traits",
]

[[package]]
name = "num-bigint-dig"
version = "0.8.4"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "dc84195820f291c7697304f3cbdadd1cb7199c0efc917ff5eafd71225c136151"
dependencies = [
 "byteorder",
 "lazy_static",
 "libm",
 "num-integer",
 "num-iter",
 "num-traits",
 "rand",
 "smallvec",
 "zeroize",
]

[[package]]
name = "num-complex"
version = "0.4.6"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "73f88a1307638156682bada9d7604135552957b7818057dcef22705b4d509495"
dependencies = [
 "num-traits",
]

[[package]]
name = "num-conv"
version = "0.1.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "51d515d32fb182ee37cda2ccdcb92950d6a3c2893aa280e540671c2cd0f3b1d9"

[[package]]
name = "num-integer"
version = "0.1.46"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "7969661fd2958a5cb096e56c8e1ad0444ac2bbcd0061bd28660485a44879858f"
dependencies = [
 "num-traits",
]

[[package]]
name = "num-iter"
version = "0.1.45"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "1429034a0490724d0075ebb2bc9e875d6503c3cf69e235a8941aa757d83ef5bf"
dependencies = [
 "autocfg",
 "num-integer",
 "num-traits",
]

[[package]]
name = "num-rational"
version = "0.4.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "f83d14da390562dca69fc84082e73e548e1ad308d24accdedd2720017cb37824"
dependencies = [
 "num-bigint",
 "num-integer",
 "num-traits",
]

[[package]]
name = "num-traits"
version = "0.2.19"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "071dfc062690e90b734c0b2273ce72ad0ffa95f0c74596bc250dcfd960262841"
dependencies = [
 "autocfg",
 "libm",
]

[[package]]
name = "num_enum"
version = "0.7.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "4e613fc340b2220f734a8595782c551f1250e969d87d3be1ae0579e8d4065179"
dependencies = [
 "num_enum_derive",
]

[[package]]
name = "num_enum_derive"
version = "0.7.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "af1844ef2428cc3e1cb900be36181049ef3d3193c63e43026cfe202983b27a56"
dependencies = [
 "proc-macro2",
 "quote",
 "syn",
]

[[package]]
name = "object"
version = "0.36.7"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "62948e14d923ea95ea2c7c86c71013138b66525b86bdc08d2dcc262bdb497b87"
dependencies = [
 "crc32fast",
 "flate2",
 "hashbrown 0.15.2",
 "indexmap 2.7.1",
 "memchr",
 "ruzstd",
 "wasmparser",
]

[[package]]
name = "offset-allocator"
version = "0.2.0"
source = "git+https://github.com/coliasgroup/offset-allocator.git?tag=keep/ae15c9cbf352c1eb12b6be377324d100#ae15c9cbf352c1eb12b6be377324d100fd064f13"
dependencies = [
 "log",
 "nonmax",
]

[[package]]
name = "once_cell"
version = "1.20.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "945462a4b81e43c4e3ba96bd7b49d834c6f61198356aa858733bc4acf3cbe62e"

[[package]]
name = "one-shot-mutex"
version = "0.2.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "cbb10614a03e671fcbb7f1421656788f9a761aab44563b83b07140c354fa9334"
dependencies = [
 "lock_api",
]

[[package]]
name = "owned_ttf_parser"
version = "0.25.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "22ec719bbf3b2a81c109a4e20b1f129b5566b7dce654bc3872f6a05abf82b2c4"
dependencies = [
 "ttf-parser",
]

[[package]]
name = "paste"
version = "1.0.15"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "57c0d7b74b563b49d38dae00a0c37d4d6de9b432382b2892f0574ddcae73fd0a"

[[package]]
name = "pem"
version = "3.0.4"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8e459365e590736a54c3fa561947c84837534b8e9af6fc5bf781307e82658fae"
dependencies = [
 "base64",
 "serde",
]

[[package]]
name = "pem-rfc7468"
version = "0.7.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "88b39c9bfcfc231068454382784bb460aae594343fb030d46e9f50a645418412"
dependencies = [
 "base64ct",
]

[[package]]
name = "pest"
version = "2.7.15"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8b7cafe60d6cf8e62e1b9b2ea516a089c008945bb5a275416789e7db0bc199dc"
dependencies = [
 "memchr",
 "thiserror 2.0.11",
 "ucd-trie",
]

[[package]]
name = "pest_derive"
version = "2.7.15"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "816518421cfc6887a0d62bf441b6ffb4536fcc926395a69e1a85852d4363f57e"
dependencies = [
 "pest",
 "pest_generator",
]

[[package]]
name = "pest_generator"
version = "2.7.15"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "7d1396fd3a870fc7838768d171b4616d5c91f6cc25e377b673d714567d99377b"
dependencies = [
 "pest",
 "pest_meta",
 "proc-macro2",
 "quote",
 "syn",
]

[[package]]
name = "pest_meta"
version = "2.7.15"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "e1e58089ea25d717bfd31fb534e4f3afcc2cc569c70de3e239778991ea3b7dea"
dependencies = [
 "once_cell",
 "pest",
 "sha2",
]

[[package]]
name = "pin-project"
version = "1.1.9"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "dfe2e71e1471fe07709406bf725f710b02927c9c54b2b5b2ec0e8087d97c327d"
dependencies = [
 "pin-project-internal",
]

[[package]]
name = "pin-project-internal"
version = "1.1.9"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "f6e859e6e5bd50440ab63c47e3ebabc90f26251f7c73c3d3e837b74a1cc3fa67"
dependencies = [
 "proc-macro2",
 "quote",
 "syn",
]

[[package]]
name = "pin-project-lite"
version = "0.2.16"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "3b3cff922bd51709b605d9ead9aa71031d81447142d828eb4a6eba76fe619f9b"

[[package]]
name = "pin-utils"
version = "0.1.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8b870d8c151b6f2fb93e84a13146138f05d02ed11c7e7c54f8826aaaf7c9f184"

[[package]]
name = "pkcs1"
version = "0.7.5"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "c8ffb9f10fa047879315e6625af03c164b16962a5368d724ed16323b68ace47f"
dependencies = [
 "der",
 "pkcs8",
 "spki",
]

[[package]]
name = "pkcs8"
version = "0.10.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "f950b2377845cebe5cf8b5165cb3cc1a5e0fa5cfa3e1f7f55707d8fd82e0a7b7"
dependencies = [
 "der",
 "spki",
]

[[package]]
name = "postcard"
version = "1.1.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "170a2601f67cc9dba8edd8c4870b15f71a6a2dc196daec8c83f72b59dff628a8"
dependencies = [
 "cobs",
 "embedded-io 0.4.0",
 "embedded-io 0.6.1",
 "serde",
]

[[package]]
name = "powerfmt"
version = "0.2.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "439ee305def115ba05938db6eb1644ff94165c5ab5e9420d1c1bcedbba909391"

[[package]]
name = "ppv-lite86"
version = "0.2.20"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "77957b295656769bb8ad2b6a6b09d897d94f05c41b069aede1fcdaa675eaea04"
dependencies = [
 "zerocopy 0.7.35",
]

[[package]]
name = "prettyplease"
version = "0.2.29"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "6924ced06e1f7dfe3fa48d57b9f74f55d8915f5036121bef647ef4b204895fac"
dependencies = [
 "proc-macro2",
 "syn",
]

[[package]]
name = "prettyplease_verus"
version = "0.2.29"
source = "git+https://github.com/coliasgroup/verus.git?tag=keep/a60b3b7e08d514dc8e0ac3b30236db0c#a60b3b7e08d514dc8e0ac3b30236db0c3023c17a"
dependencies = [
 "proc-macro2",
 "syn_verus",
]

[[package]]
name = "proc-macro-error-attr2"
version = "2.0.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "96de42df36bb9bba5542fe9f1a054b8cc87e172759a1868aa05c1f3acc89dfc5"
dependencies = [
 "proc-macro2",
 "quote",
]

[[package]]
name = "proc-macro-error2"
version = "2.0.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "11ec05c52be0a07b08061f7dd003e7d7092e0472bc731b4af7bb1ef876109802"
dependencies = [
 "proc-macro-error-attr2",
 "proc-macro2",
 "quote",
 "syn",
]

[[package]]
name = "proc-macro2"
version = "1.0.93"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "60946a68e5f9d28b0dc1c21bb8a97ee7d018a8b322fa57838ba31cc878e22d99"
dependencies = [
 "unicode-ident",
]

[[package]]
name = "ptr_meta"
version = "0.3.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "fe9e76f66d3f9606f44e45598d155cb13ecf09f4a28199e48daf8c8fc937ea90"

[[package]]
name = "quote"
version = "1.0.38"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "0e4dccaaaf89514f546c693ddc140f729f958c247918a13380cccc6078391acc"
dependencies = [
 "proc-macro2",
]

[[package]]
name = "rand"
version = "0.8.5"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "34af8d1a0e25924bc5b7c43c079c942339d8f0a8b57c39049bef581b46327404"
dependencies = [
 "rand_chacha",
 "rand_core",
]

[[package]]
name = "rand_chacha"
version = "0.3.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "e6c10a63a0fa32252be49d21e7709d4d4baf8d231c2dbce1eaa8141b9b127d88"
dependencies = [
 "ppv-lite86",
 "rand_core",
]

[[package]]
name = "rand_core"
version = "0.6.4"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "ec0be4795e2f6a28069bec0b5ff3e2ac9bafc99e6a9a7dc3547996c5c816922c"
dependencies = [
 "getrandom",
]

[[package]]
name = "rcgen"
version = "0.13.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "75e669e5202259b5314d1ea5397316ad400819437857b90861765f24c4cf80a2"
dependencies = [
 "pem",
 "ring",
 "rustls-pki-types",
 "time",
 "yasna",
]

[[package]]
name = "regex"
version = "1.11.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "b544ef1b4eac5dc2db33ea63606ae9ffcfac26c1416a2806ae0bf5f56b201191"
dependencies = [
 "aho-corasick",
 "memchr",
 "regex-automata",
 "regex-syntax",
]

[[package]]
name = "regex-automata"
version = "0.4.9"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "809e8dc61f6de73b46c85f4c96486310fe304c434cfa43669d7b40f711150908"
dependencies = [
 "aho-corasick",
 "memchr",
 "regex-syntax",
]

[[package]]
name = "regex-syntax"
version = "0.8.5"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "2b15c43186be67a4fd63bee50d0303afffcef381492ebe2c5d87f324e1b8815c"

[[package]]
name = "ring"
version = "0.17.8"
source = "git+https://github.com/coliasgroup/ring.git?rev=0f749acc5d5a8310dfc3ff985df04056f497fc1b#0f749acc5d5a8310dfc3ff985df04056f497fc1b"
dependencies = [
 "cc",
 "cfg-if",
 "getrandom",
 "libc",
 "spin",
 "untrusted",
 "windows-sys 0.52.0",
]

[[package]]
name = "riscv"
version = "0.12.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "5ea8ff73d3720bdd0a97925f0bf79ad2744b6da8ff36be3840c48ac81191d7a7"
dependencies = [
 "critical-section",
 "embedded-hal",
 "paste",
 "riscv-macros",
 "riscv-pac",
]

[[package]]
name = "riscv-macros"
version = "0.1.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "f265be5d634272320a7de94cea15c22a3bfdd4eb42eb43edc528415f066a1f25"
dependencies = [
 "proc-macro2",
 "quote",
 "syn",
]

[[package]]
name = "riscv-pac"
version = "0.2.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8188909339ccc0c68cfb5a04648313f09621e8b87dc03095454f1a11f6c5d436"

[[package]]
name = "rsa"
version = "0.9.7"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "47c75d7c5c6b673e58bf54d8544a9f432e3a925b0e80f7cd3602ab5c50c55519"
dependencies = [
 "const-oid",
 "digest",
 "num-bigint-dig",
 "num-integer",
 "num-traits",
 "pkcs1",
 "pkcs8",
 "rand_core",
 "sha2",
 "signature",
 "spki",
 "subtle",
 "zeroize",
]

[[package]]
name = "rtcc"
version = "0.3.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "95973c3a0274adc4f3c5b70d2b5b85618d6de9559a6737d3293ecae9a2fc0839"
dependencies = [
 "chrono",
]

[[package]]
name = "rustc-demangle"
version = "0.1.24"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "719b953e2095829ee67db738b3bfa9fa368c94900df327b3f07fe6e794d2fe1f"

[[package]]
name = "rustc-hash"
version = "1.1.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "08d43f7aa6b08d49f382cde6a7982047c3426db949b1424bc4b7ec9ae12c6ce2"

[[package]]
name = "rustc_version"
version = "0.4.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "cfcb3a22ef46e85b45de6ee7e79d063319ebb6594faafcf1c225ea92ab6e9b92"
dependencies = [
 "semver",
]

[[package]]
name = "rustls"
version = "0.23.23"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "47796c98c480fce5406ef69d1c76378375492c3b0a0de587be0c1d9feb12f395"
dependencies = [
 "log",
 "once_cell",
 "ring",
 "rustls-pki-types",
 "rustls-webpki",
 "subtle",
 "zeroize",
]

[[package]]
name = "rustls-pemfile"
version = "2.2.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "dce314e5fee3f39953d46bb63bb8a46d40c2f8fb7cc5a3b6cab2bde9721d6e50"
dependencies = [
 "rustls-pki-types",
]

[[package]]
name = "rustls-pki-types"
version = "1.11.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "917ce264624a4b4db1c364dcc35bfca9ded014d0a958cd47ad3e960e988ea51c"

[[package]]
name = "rustls-webpki"
version = "0.102.8"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "64ca1bc8749bd4cf37b5ce386cc146580777b4e8572c7b97baf22c83f444bee9"
dependencies = [
 "ring",
 "rustls-pki-types",
 "untrusted",
]

[[package]]
name = "rustversion"
version = "1.0.19"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "f7c45b9784283f1b2e7fb61b42047c2fd678ef0960d4f6f1eba131594cc369d4"

[[package]]
name = "ruzstd"
version = "0.7.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "fad02996bfc73da3e301efe90b1837be9ed8f4a462b6ed410aa35d00381de89f"
dependencies = [
 "twox-hash",
]

[[package]]
name = "ryu"
version = "1.0.19"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "6ea1a2d0a644769cc99faa24c3ad26b379b786fe7c36fd3c546254801650e6dd"

[[package]]
name = "sbi"
version = "0.2.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "29cb0870400aca7e4487e8ec1e93f9d4288da763cb1da2cedc5102e62b6522ad"

[[package]]
name = "scopeguard"
version = "1.2.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "94143f37725109f92c262ed2cf5e59bce7498c01bcc1502d7b9afe439a4e9f49"

[[package]]
name = "sel4"
version = "0.1.0"
dependencies = [
 "cfg-if",
 "sel4-config",
 "sel4-sys",
]

[[package]]
name = "sel4-abstract-allocator"
version = "0.1.0"
dependencies = [
 "log",
]

[[package]]
name = "sel4-abstract-allocator-offset-allocator"
version = "0.1.0"
dependencies = [
 "offset-allocator",
 "sel4-abstract-allocator",
]

[[package]]
name = "sel4-abstract-ptr"
version = "0.1.0"
dependencies = [
 "ptr_meta",
]

[[package]]
name = "sel4-abstract-rc"
version = "0.1.0"

[[package]]
name = "sel4-alloca"
version = "0.1.0"
dependencies = [
 "cfg-if",
]

[[package]]
name = "sel4-async-block-io"
version = "0.1.0"
dependencies = [
 "bytemuck",
 "futures",
 "gpt_disk_types",
 "log",
 "lru",
 "num_enum",
]

[[package]]
name = "sel4-async-block-io-fat"
version = "0.1.0"
dependencies = [
 "embedded-fat",
 "futures",
 "heapless 0.8.0",
 "hex",
 "log",
 "lru",
 "sel4-async-block-io",
]

[[package]]
name = "sel4-async-io"
version = "0.1.0"
dependencies = [
 "embedded-io-async",
]

[[package]]
name = "sel4-async-network"
version = "0.1.0"
dependencies = [
 "log",
 "sel4-async-io",
 "smoltcp",
]

[[package]]
name = "sel4-async-network-rustls"
version = "0.1.0"
dependencies = [
 "embedded-io-async",
 "log",
 "rustls",
 "sel4-async-io",
]

[[package]]
name = "sel4-async-network-rustls-utils"
version = "0.1.0"
dependencies = [
 "getrandom",
 "rand",
 "ring",
 "rustls",
 "sel4-async-time",
]

[[package]]
name = "sel4-async-single-threaded-executor"
version = "0.1.0"
dependencies = [
 "futures",
]

[[package]]
name = "sel4-async-time"
version = "0.1.0"
dependencies = [
 "log",
 "pin-project",
]

[[package]]
name = "sel4-async-unsync"
version = "0.1.0"
dependencies = [
 "async-unsync",
]

[[package]]
name = "sel4-backtrace"
version = "0.1.0"
dependencies = [
 "cfg-if",
 "postcard",
 "sel4-backtrace-types",
 "serde",
 "unwinding",
]

[[package]]
name = "sel4-backtrace-addr2line-context-helper"
version = "0.1.0"
dependencies = [
 "addr2line",
 "gimli",
 "object",
 "stable_deref_trait",
]

[[package]]
name = "sel4-backtrace-cli"
version = "0.1.0"
dependencies = [
 "clap",
 "hex",
 "object",
 "sel4-backtrace-addr2line-context-helper",
 "sel4-backtrace-types",
]

[[package]]
name = "sel4-backtrace-embedded-debug-info"
version = "0.1.0"
dependencies = [
 "addr2line",
 "object",
 "sel4-backtrace-addr2line-context-helper",
]

[[package]]
name = "sel4-backtrace-embedded-debug-info-cli"
version = "0.1.0"
dependencies = [
 "clap",
 "num",
 "sel4-synthetic-elf",
]

[[package]]
name = "sel4-backtrace-simple"
version = "0.1.0"
dependencies = [
 "sel4-backtrace",
 "sel4-panicking-env",
]

[[package]]
name = "sel4-backtrace-symbolize"
version = "0.1.0"
dependencies = [
 "addr2line",
]

[[package]]
name = "sel4-backtrace-types"
version = "0.1.0"
dependencies = [
 "addr2line",
 "cfg-if",
 "postcard",
 "sel4-backtrace-symbolize",
 "serde",
]

[[package]]
name = "sel4-bcm2835-aux-uart-driver"
version = "0.1.0"
dependencies = [
 "embedded-hal-nb",
 "sel4-driver-interfaces",
 "tock-registers",
]

[[package]]
name = "sel4-bitfield-ops"
version = "0.1.0"
dependencies = [
 "rustversion",
]

[[package]]
name = "sel4-build-env"
version = "0.1.0"

[[package]]
name = "sel4-capdl-initializer"
version = "0.1.0"
dependencies = [
 "log",
 "one-shot-mutex",
 "postcard",
 "sel4",
 "sel4-capdl-initializer-core",
 "sel4-capdl-initializer-types",
 "sel4-dlmalloc",
 "sel4-logging",
 "sel4-root-task",
]

[[package]]
name = "sel4-capdl-initializer-add-spec"
version = "0.1.0"
dependencies = [
 "anyhow",
 "clap",
 "num",
 "object",
 "postcard",
 "sel4-capdl-initializer-types",
 "sel4-synthetic-elf",
 "serde_json",
]

[[package]]
name = "sel4-capdl-initializer-core"
version = "0.1.0"
dependencies = [
 "log",
 "sel4",
 "sel4-capdl-initializer-types",
]

[[package]]
name = "sel4-capdl-initializer-embed-spec"
version = "0.1.0"
dependencies = [
 "hex",
 "proc-macro2",
 "quote",
 "sel4-capdl-initializer-types",
 "serde",
 "serde_json",
 "syn",
]

[[package]]
name = "sel4-capdl-initializer-types"
version = "0.1.0"
dependencies = [
 "cfg-if",
 "log",
 "miniz_oxide",
 "sel4",
 "sel4-capdl-initializer-types-derive",
 "serde",
 "serde_json",
]

[[package]]
name = "sel4-capdl-initializer-types-derive"
version = "0.1.0"
dependencies = [
 "proc-macro2",
 "quote",
 "syn",
]

[[package]]
name = "sel4-capdl-initializer-with-embedded-spec"
version = "0.1.0"
dependencies = [
 "sel4",
 "sel4-capdl-initializer-core",
 "sel4-capdl-initializer-types",
 "sel4-capdl-initializer-with-embedded-spec-embedded-spec",
 "sel4-capdl-initializer-with-embedded-spec-embedded-spec-validate",
 "sel4-logging",
 "sel4-root-task",
]

[[package]]
name = "sel4-capdl-initializer-with-embedded-spec-build-env"
version = "0.1.0"
dependencies = [
 "sel4-capdl-initializer-embed-spec",
 "sel4-capdl-initializer-types",
 "serde",
 "serde_json",
]

[[package]]
name = "sel4-capdl-initializer-with-embedded-spec-embedded-spec"
version = "0.1.0"
dependencies = [
 "prettyplease",
 "sel4-capdl-initializer-embed-spec",
 "sel4-capdl-initializer-types",
 "sel4-capdl-initializer-with-embedded-spec-build-env",
 "serde_json",
 "syn",
]

[[package]]
name = "sel4-capdl-initializer-with-embedded-spec-embedded-spec-validate"
version = "0.1.0"
dependencies = [
 "sel4-capdl-initializer-types",
 "sel4-capdl-initializer-with-embedded-spec-build-env",
 "sel4-capdl-initializer-with-embedded-spec-embedded-spec",
]

[[package]]
name = "sel4-config"
version = "0.1.0"
dependencies = [
 "prettyplease",
 "proc-macro2",
 "quote",
 "sel4-config-data",
 "sel4-config-macros",
 "sel4-config-types",
 "syn",
]

[[package]]
name = "sel4-config-data"
version = "0.1.0"
dependencies = [
 "lazy_static",
 "sel4-build-env",
 "sel4-config-types",
 "serde_json",
]

[[package]]
name = "sel4-config-macros"
version = "0.1.0"
dependencies = [
 "fallible-iterator",
 "proc-macro2",
 "quote",
 "sel4-config-data",
 "sel4-config-types",
 "syn",
]

[[package]]
name = "sel4-config-types"
version = "0.1.0"
dependencies = [
 "serde",
]

[[package]]
name = "sel4-ctors-dtors"
version = "0.1.0"

[[package]]
name = "sel4-dlmalloc"
version = "0.1.0"
dependencies = [
 "dlmalloc",
 "lock_api",
]

[[package]]
name = "sel4-driver-interfaces"
version = "0.1.0"
dependencies = [
 "embedded-hal-nb",
 "heapless 0.8.0",
 "lock_api",
 "rtcc",
 "serde",
]

[[package]]
name = "sel4-elf-header"
version = "0.1.0"

[[package]]
name = "sel4-generate-target-specs"
version = "0.1.0"
dependencies = [
 "cfg-if",
 "clap",
 "rustversion",
 "serde_json",
]

[[package]]
name = "sel4-immediate-sync-once-cell"
version = "0.1.0"

[[package]]
name = "sel4-immutable-cell"
version = "0.1.0"

[[package]]
name = "sel4-initialize-tls"
version = "0.1.0"
dependencies = [
 "cfg-if",
 "sel4-alloca",
]

[[package]]
name = "sel4-kernel-loader"
version = "0.1.0"
dependencies = [
 "aarch64-cpu",
 "cc",
 "cfg-if",
 "embedded-hal-nb",
 "glob",
 "heapless 0.8.0",
 "log",
 "object",
 "postcard",
 "prettyplease",
 "proc-macro2",
 "quote",
 "riscv",
 "sbi",
 "sel4-bcm2835-aux-uart-driver",
 "sel4-build-env",
 "sel4-config",
 "sel4-immutable-cell",
 "sel4-kernel-loader-config-types",
 "sel4-kernel-loader-embed-page-tables",
 "sel4-kernel-loader-embed-page-tables-runtime",
 "sel4-kernel-loader-payload-types",
 "sel4-logging",
 "sel4-pl011-driver",
 "sel4-platform-info",
 "sel4-stack",
 "serde",
 "smccc",
 "spin",
 "syn",
]

[[package]]
name = "sel4-kernel-loader-add-payload"
version = "0.1.0"
dependencies = [
 "anyhow",
 "clap",
 "heapless 0.8.0",
 "num",
 "object",
 "postcard",
 "sel4-config-types",
 "sel4-kernel-loader-config-types",
 "sel4-kernel-loader-payload-types",
 "sel4-synthetic-elf",
 "serde",
 "serde_json",
 "serde_yaml",
]

[[package]]
name = "sel4-kernel-loader-config-types"
version = "0.1.0"
dependencies = [
 "serde",
]

[[package]]
name = "sel4-kernel-loader-embed-page-tables"
version = "0.1.0"
dependencies = [
 "bitfield",
 "proc-macro2",
 "quote",
]

[[package]]
name = "sel4-kernel-loader-embed-page-tables-runtime"
version = "0.1.0"

[[package]]
name = "sel4-kernel-loader-payload-types"
version = "0.1.0"
dependencies = [
 "heapless 0.8.0",
 "num-traits",
 "sel4-platform-info-types",
 "serde",
]

[[package]]
name = "sel4-linux-syscall-types"
version = "0.1.0"
dependencies = [
 "cfg-if",
]

[[package]]
name = "sel4-logging"
version = "0.1.0"
dependencies = [
 "lock_api",
 "log",
]

[[package]]
name = "sel4-microkit"
version = "0.1.0"
dependencies = [
 "cfg-if",
 "one-shot-mutex",
 "sel4",
 "sel4-dlmalloc",
 "sel4-immediate-sync-once-cell",
 "sel4-microkit-base",
 "sel4-microkit-macros",
 "sel4-panicking",
 "sel4-panicking-env",
 "sel4-runtime-common",
]

[[package]]
name = "sel4-microkit-base"
version = "0.1.0"
dependencies = [
 "sel4",
 "sel4-immutable-cell",
]

[[package]]
name = "sel4-microkit-driver-adapters"
version = "0.1.0"
dependencies = [
 "chrono",
 "embedded-hal-nb",
 "heapless 0.8.0",
 "log",
 "rtcc",
 "sel4-abstract-allocator",
 "sel4-driver-interfaces",
 "sel4-microkit",
 "sel4-microkit-message",
 "sel4-shared-memory",
 "sel4-shared-ring-buffer",
 "serde",
 "smoltcp",
]

[[package]]
name = "sel4-microkit-macros"
version = "0.1.0"
dependencies = [
 "proc-macro2",
 "quote",
 "syn",
]

[[package]]
name = "sel4-microkit-message"
version = "0.1.0"
dependencies = [
 "sel4-microkit-base",
 "sel4-microkit-message-types",
 "serde",
]

[[package]]
name = "sel4-microkit-message-types"
version = "0.1.0"
dependencies = [
 "num_enum",
 "postcard",
 "serde",
 "zerocopy 0.8.18",
]

[[package]]
name = "sel4-mod-in-out-dir"
version = "0.1.0"
dependencies = [
 "quote",
 "syn",
]

[[package]]
name = "sel4-musl"
version = "0.1.0"
dependencies = [
 "sel4-immediate-sync-once-cell",
 "sel4-linux-syscall-types",
]

[[package]]
name = "sel4-newlib"
version = "0.1.0"
dependencies = [
 "cc",
 "log",
 "sel4-panicking-env",
]

[[package]]
name = "sel4-one-ref-cell"
version = "0.1.0"

[[package]]
name = "sel4-panicking"
version = "0.1.0"
dependencies = [
 "cfg-if",
 "sel4-immediate-sync-once-cell",
 "sel4-panicking-env",
 "unwinding",
]

[[package]]
name = "sel4-panicking-env"
version = "0.1.0"

[[package]]
name = "sel4-pl011-driver"
version = "0.1.0"
dependencies = [
 "embedded-hal-nb",
 "sel4-driver-interfaces",
 "tock-registers",
]

[[package]]
name = "sel4-pl031-driver"
version = "0.1.0"
dependencies = [
 "rtcc",
 "tock-registers",
]

[[package]]
name = "sel4-platform-info"
version = "0.1.0"
dependencies = [
 "proc-macro2",
 "quote",
 "sel4-build-env",
 "sel4-config",
 "sel4-platform-info-types",
 "serde",
 "serde_yaml",
]

[[package]]
name = "sel4-platform-info-types"
version = "0.1.0"

[[package]]
name = "sel4-reset"
version = "0.1.0"
dependencies = [
 "cfg-if",
 "sel4-stack",
]

[[package]]
name = "sel4-reset-cli"
version = "0.1.0"
dependencies = [
 "anyhow",
 "clap",
 "num",
 "sel4-synthetic-elf",
]

[[package]]
name = "sel4-root-task"
version = "0.1.0"
dependencies = [
 "sel4",
 "sel4-dlmalloc",
 "sel4-immediate-sync-once-cell",
 "sel4-panicking",
 "sel4-panicking-env",
 "sel4-root-task-macros",
 "sel4-runtime-common",
 "sel4-sync",
]

[[package]]
name = "sel4-root-task-default-test-harness"
version = "0.1.0"
dependencies = [
 "sel4",
 "sel4-root-task",
 "sel4-test-harness",
]

[[package]]
name = "sel4-root-task-macros"
version = "0.1.0"
dependencies = [
 "proc-macro2",
 "quote",
 "syn",
]

[[package]]
name = "sel4-root-task-with-std"
version = "0.1.0"
dependencies = [
 "sel4",
 "sel4-panicking-env",
 "sel4-runtime-common",
]

[[package]]
name = "sel4-runtime-common"
version = "0.1.0"
dependencies = [
 "cfg-if",
 "sel4",
 "sel4-ctors-dtors",
 "sel4-elf-header",
 "sel4-initialize-tls",
 "sel4-panicking-env",
 "sel4-stack",
 "unwinding",
]

[[package]]
name = "sel4-shared-memory"
version = "0.1.0"
dependencies = [
 "aligned",
 "cfg-if",
 "sel4-abstract-ptr",
 "zerocopy 0.8.18",
]

[[package]]
name = "sel4-shared-ring-buffer"
version = "0.1.0"
dependencies = [
 "log",
 "sel4-shared-memory",
 "zerocopy 0.8.18",
]

[[package]]
name = "sel4-shared-ring-buffer-block-io"
version = "0.1.0"
dependencies = [
 "async-unsync",
 "futures",
 "log",
 "sel4-abstract-allocator",
 "sel4-async-block-io",
 "sel4-shared-memory",
 "sel4-shared-ring-buffer",
 "sel4-shared-ring-buffer-block-io-types",
 "sel4-shared-ring-buffer-bookkeeping",
]

[[package]]
name = "sel4-shared-ring-buffer-block-io-types"
version = "0.1.0"
dependencies = [
 "num_enum",
 "sel4-shared-ring-buffer",
 "zerocopy 0.8.18",
]

[[package]]
name = "sel4-shared-ring-buffer-bookkeeping"
version = "0.1.0"
dependencies = [
 "async-unsync",
]

[[package]]
name = "sel4-shared-ring-buffer-smoltcp"
version = "0.1.0"
dependencies = [
 "lock_api",
 "log",
 "one-shot-mutex",
 "sel4-abstract-allocator",
 "sel4-abstract-rc",
 "sel4-shared-memory",
 "sel4-shared-ring-buffer",
 "sel4-shared-ring-buffer-bookkeeping",
 "smoltcp",
]

[[package]]
name = "sel4-simple-task-config-types"
version = "0.1.0"
dependencies = [
 "cfg-if",
 "sel4",
 "sel4-simple-task-threading",
 "serde",
]

[[package]]
name = "sel4-simple-task-rpc"
version = "0.1.0"
dependencies = [
 "postcard",
 "sel4",
 "serde",
]

[[package]]
name = "sel4-simple-task-runtime"
version = "0.1.0"
dependencies = [
 "postcard",
 "sel4",
 "sel4-backtrace",
 "sel4-backtrace-simple",
 "sel4-dlmalloc",
 "sel4-immediate-sync-once-cell",
 "sel4-panicking",
 "sel4-panicking-env",
 "sel4-runtime-common",
 "sel4-simple-task-runtime-config-types",
 "sel4-simple-task-runtime-macros",
 "sel4-simple-task-threading",
 "sel4-sync",
 "serde",
 "serde_json",
]

[[package]]
name = "sel4-simple-task-runtime-config-cli"
version = "0.1.0"
dependencies = [
 "sel4-simple-task-runtime-config-types",
 "serde_json",
]

[[package]]
name = "sel4-simple-task-runtime-config-types"
version = "0.1.0"
dependencies = [
 "serde",
 "zerocopy 0.8.18",
]

[[package]]
name = "sel4-simple-task-runtime-macros"
version = "0.1.0"
dependencies = [
 "proc-macro2",
 "quote",
 "syn",
]

[[package]]
name = "sel4-simple-task-threading"
version = "0.1.0"
dependencies = [
 "sel4",
 "sel4-panicking",
]

[[package]]
name = "sel4-sp804-driver"
version = "0.1.0"
dependencies = [
 "sel4-driver-interfaces",
 "tock-registers",
]

[[package]]
name = "sel4-stack"
version = "0.1.0"

[[package]]
name = "sel4-sync"
version = "0.1.0"
dependencies = [
 "lock_api",
 "sel4",
 "sel4-immediate-sync-once-cell",
]

[[package]]
name = "sel4-synthetic-elf"
version = "0.1.0"
dependencies = [
 "num",
 "object",
 "thiserror 1.0.69",
]

[[package]]
name = "sel4-sys"
version = "0.1.0"
dependencies = [
 "bindgen",
 "glob",
 "log",
 "pest",
 "pest_derive",
 "prettyplease",
 "proc-macro2",
 "quote",
 "regex",
 "sel4-bitfield-ops",
 "sel4-build-env",
 "sel4-config",
 "sel4-config-data",
 "syn",
 "xmltree",
]

[[package]]
name = "sel4-test-harness"
version = "0.1.0"
dependencies = [
 "sel4-immediate-sync-once-cell",
 "sel4-panicking",
 "sel4-panicking-env",
]

[[package]]
name = "sel4-virtio-blk"
version = "0.1.0"
dependencies = [
 "log",
 "sel4-driver-interfaces",
 "virtio-drivers",
]

[[package]]
name = "sel4-virtio-hal-impl"
version = "0.1.0"
dependencies = [
 "one-shot-mutex",
 "sel4-abstract-allocator",
 "sel4-immediate-sync-once-cell",
 "sel4-shared-memory",
 "virtio-drivers",
]

[[package]]
name = "sel4-virtio-net"
version = "0.1.0"
dependencies = [
 "log",
 "sel4-driver-interfaces",
 "smoltcp",
 "virtio-drivers",
]

[[package]]
name = "semver"
version = "1.0.25"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "f79dfe2d285b0488816f30e700a7438c5a73d816b5b7d3ac72fbc48b0d185e03"

[[package]]
name = "serde"
version = "1.0.217"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "02fc4265df13d6fa1d00ecff087228cc0a2b5f3c0e87e258d8b94a156e984c70"
dependencies = [
 "serde_derive",
]

[[package]]
name = "serde_derive"
version = "1.0.217"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "5a9bf7cf98d04a2b28aead066b7496853d4779c9cc183c440dbac457641e19a0"
dependencies = [
 "proc-macro2",
 "quote",
 "syn",
]

[[package]]
name = "serde_json"
version = "1.0.138"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "d434192e7da787e94a6ea7e9670b26a036d0ca41e0b7efb2676dd32bae872949"
dependencies = [
 "itoa",
 "memchr",
 "ryu",
 "serde",
]

[[package]]
name = "serde_yaml"
version = "0.9.34+deprecated"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "6a8b1a1a2ebf674015cc02edccce75287f1a0130d394307b36743c2f5d504b47"
dependencies = [
 "indexmap 2.7.1",
 "itoa",
 "ryu",
 "serde",
 "unsafe-libyaml",
]

[[package]]
name = "serial-device"
version = "0.1.0"
dependencies = [
 "sel4",
 "sel4-root-task",
 "tock-registers",
]

[[package]]
name = "sha2"
version = "0.10.8"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "793db75ad2bcafc3ffa7c68b215fee268f537982cd901d132f89c6343f3a3dc8"
dependencies = [
 "cfg-if",
 "cpufeatures",
 "digest",
]

[[package]]
name = "shlex"
version = "1.3.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "0fda2ff0d084019ba4d7c6f371c95d8fd75ce3524c3cb8fb653a3023f6323e64"

[[package]]
name = "signature"
version = "2.2.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "77549399552de45a898a580c1b41d445bf730df867cc44e6c0233bbc4b8329de"
dependencies = [
 "digest",
 "rand_core",
]

[[package]]
name = "smallvec"
version = "1.14.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "7fcf8323ef1faaee30a44a340193b1ac6814fd9b7b4e88e9d4519a3e4abe1cfd"

[[package]]
name = "smccc"
version = "0.1.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "617d17f088ec733e5a6b86da6ce4cce1414e6e856d6061c16dda51cceae6f68c"

[[package]]
name = "smoltcp"
version = "0.11.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "5a1a996951e50b5971a2c8c0fa05a381480d70a933064245c4a223ddc87ccc97"
dependencies = [
 "bitflags 1.3.2",
 "byteorder",
 "cfg-if",
 "defmt",
 "heapless 0.8.0",
 "log",
 "managed",
]

[[package]]
name = "spawn-task"
version = "0.1.0"
dependencies = [
 "object",
 "sel4",
 "sel4-root-task",
]

[[package]]
name = "spawn-task-child"
version = "0.1.0"
dependencies = [
 "cfg-if",
 "one-shot-mutex",
 "sel4",
 "sel4-dlmalloc",
 "sel4-panicking",
 "sel4-panicking-env",
 "sel4-runtime-common",
]

[[package]]
name = "spawn-thread"
version = "0.1.0"
dependencies = [
 "cfg-if",
 "sel4",
 "sel4-elf-header",
 "sel4-initialize-tls",
 "sel4-root-task",
 "sel4-stack",
]

[[package]]
name = "spin"
version = "0.9.8"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "6980e8d7511241f8acf4aebddbb1ff938df5eebe98691418c4468d0b72a96a67"
dependencies = [
 "lock_api",
]

[[package]]
name = "spki"
version = "0.7.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "d91ed6c858b01f942cd56b37a94b3e0a1798290327d1236e4d9cf4eaca44d29d"
dependencies = [
 "base64ct",
 "der",
]

[[package]]
name = "stable_deref_trait"
version = "1.2.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "a8f112729512f8e442d81f95a8a7ddf2b7c6b8a1a6f509a95864142b30cab2d3"

[[package]]
name = "state_machines_macros"
version = "0.1.0"
source = "git+https://github.com/coliasgroup/verus.git?tag=keep/a60b3b7e08d514dc8e0ac3b30236db0c#a60b3b7e08d514dc8e0ac3b30236db0c3023c17a"
dependencies = [
 "indexmap 1.9.3",
 "proc-macro2",
 "quote",
 "syn_verus",
]

[[package]]
name = "static_assertions"
version = "1.1.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "a2eb9349b6444b326872e140eb1cf5e7c522154d69e7a0ffb0fb81c06b37543f"

[[package]]
name = "strsim"
version = "0.11.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "7da8b5736845d9f2fcb837ea5d9e2628564b3b043a70948a3f0b778838c5fb4f"

[[package]]
name = "subtle"
version = "2.6.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "13c2bddecc57b384dee18652358fb23172facb8a2c51ccc10d74c157bdea3292"

[[package]]
name = "syn"
version = "2.0.98"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "36147f1a48ae0ec2b5b3bc5b537d267457555a10dc06f3dbc8cb11ba3006d3b1"
dependencies = [
 "proc-macro2",
 "quote",
 "unicode-ident",
]

[[package]]
name = "syn_verus"
version = "2.0.96"
source = "git+https://github.com/coliasgroup/verus.git?tag=keep/a60b3b7e08d514dc8e0ac3b30236db0c#a60b3b7e08d514dc8e0ac3b30236db0c3023c17a"
dependencies = [
 "proc-macro2",
 "quote",
 "unicode-ident",
]

[[package]]
name = "synstructure"
version = "0.13.0"
source = "git+https://github.com/mystor/synstructure.git?rev=1079497eb2bea252433dac53afe41291d8779641#1079497eb2bea252433dac53afe41291d8779641"
dependencies = [
 "proc-macro2",
 "quote",
 "syn",
 "unicode-xid",
]

[[package]]
name = "tests-capdl-threads-components-test"
version = "0.1.0"
dependencies = [
 "sel4",
 "sel4-simple-task-config-types",
 "sel4-simple-task-runtime",
 "sel4-sync",
 "serde",
]

[[package]]
name = "tests-capdl-utcover-components-test"
version = "0.1.0"
dependencies = [
 "sel4",
 "sel4-simple-task-config-types",
 "sel4-simple-task-runtime",
 "serde",
]

[[package]]
name = "tests-microkit-minimal"
version = "0.1.0"
dependencies = [
 "sel4-microkit",
]

[[package]]
name = "tests-microkit-passive-server-with-deferred-action-pds-client"
version = "0.1.0"
dependencies = [
 "sel4-microkit",
]

[[package]]
name = "tests-microkit-passive-server-with-deferred-action-pds-server"
version = "0.1.0"
dependencies = [
 "sel4-microkit",
]

[[package]]
name = "tests-microkit-reset"
version = "0.1.0"
dependencies = [
 "sel4-microkit",
 "sel4-reset",
]

[[package]]
name = "tests-microkit-unwind"
version = "0.1.0"
dependencies = [
 "sel4-microkit",
]

[[package]]
name = "tests-root-task-alloca"
version = "0.1.0"
dependencies = [
 "sel4",
 "sel4-alloca",
 "sel4-root-task",
]

[[package]]
name = "tests-root-task-backtrace"
version = "0.1.0"
dependencies = [
 "sel4",
 "sel4-backtrace",
 "sel4-backtrace-embedded-debug-info",
 "sel4-backtrace-simple",
 "sel4-backtrace-types",
 "sel4-root-task",
]

[[package]]
name = "tests-root-task-c"
version = "0.1.0"
dependencies = [
 "cc",
 "glob",
 "sel4",
 "sel4-newlib",
 "sel4-root-task",
]

[[package]]
name = "tests-root-task-config"
version = "0.1.0"
dependencies = [
 "sel4",
 "sel4-root-task",
]

[[package]]
name = "tests-root-task-dafny-core"
version = "0.1.0"
dependencies = [
 "dafny_runtime",
 "num",
 "sel4-mod-in-out-dir",
]

[[package]]
name = "tests-root-task-dafny-task"
version = "0.1.0"
dependencies = [
 "sel4",
 "sel4-root-task",
 "tests-root-task-dafny-core",
]

[[package]]
name = "tests-root-task-default-test-harness"
version = "0.1.0"
dependencies = [
 "log",
 "sel4-root-task-default-test-harness",
]

[[package]]
name = "tests-root-task-loader"
version = "0.1.0"
dependencies = [
 "fdt",
 "sel4",
 "sel4-platform-info",
 "sel4-root-task",
]

[[package]]
name = "tests-root-task-musl"
version = "0.1.0"
dependencies = [
 "dlmalloc",
 "one-shot-mutex",
 "sel4",
 "sel4-dlmalloc",
 "sel4-linux-syscall-types",
 "sel4-musl",
 "sel4-root-task-with-std",
]

[[package]]
name = "tests-root-task-panicking"
version = "0.1.0"
dependencies = [
 "cfg-if",
 "sel4",
 "sel4-root-task",
]

[[package]]
name = "tests-root-task-ring-test-harness"
version = "0.1.0"
dependencies = [
 "getrandom",
 "rand",
 "sel4",
 "sel4-newlib",
 "sel4-root-task",
 "sel4-test-harness",
]

[[package]]
name = "tests-root-task-tls"
version = "0.1.0"
dependencies = [
 "sel4",
 "sel4-root-task",
]

[[package]]
name = "tests-root-task-verus-core"
version = "0.1.0"
dependencies = [
 "builtin",
 "builtin_macros",
 "vstd",
]

[[package]]
name = "tests-root-task-verus-task"
version = "0.1.0"
dependencies = [
 "sel4",
 "sel4-root-task",
 "tests-root-task-verus-core",
]

[[package]]
name = "thiserror"
version = "1.0.69"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "b6aaf5339b578ea85b50e080feb250a3e8ae8cfcdff9a461c9ec2904bc923f52"
dependencies = [
 "thiserror-impl 1.0.69",
]

[[package]]
name = "thiserror"
version = "2.0.11"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "d452f284b73e6d76dd36758a0c8684b1d5be31f92b89d07fd5822175732206fc"
dependencies = [
 "thiserror-impl 2.0.11",
]

[[package]]
name = "thiserror-impl"
version = "1.0.69"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "4fee6c4efc90059e10f81e6d42c60a18f76588c3d74cb83a0b242a2b6c7504c1"
dependencies = [
 "proc-macro2",
 "quote",
 "syn",
]

[[package]]
name = "thiserror-impl"
version = "2.0.11"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "26afc1baea8a989337eeb52b6e72a039780ce45c3edfcc9c5b9d112feeb173c2"
dependencies = [
 "proc-macro2",
 "quote",
 "syn",
]

[[package]]
name = "time"
version = "0.3.37"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "35e7868883861bd0e56d9ac6efcaaca0d6d5d82a2a7ec8209ff492c07cf37b21"
dependencies = [
 "deranged",
 "num-conv",
 "powerfmt",
 "serde",
 "time-core",
]

[[package]]
name = "time-core"
version = "0.1.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "ef927ca75afb808a4d64dd374f00a2adf8d0fcff8e7b184af886c3c87ec4a3f3"

[[package]]
name = "tock-registers"
version = "0.9.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "2b9e2fdb3a1e862c0661768b7ed25390811df1947a8acbfbefe09b47078d93c4"

[[package]]
name = "ttf-parser"
version = "0.25.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "d2df906b07856748fa3f6e0ad0cbaa047052d4a7dd609e231c4f72cee8c36f31"
dependencies = [
 "core_maths",
]

[[package]]
name = "twox-hash"
version = "1.6.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "97fee6b57c6a41524a810daee9286c02d7752c4253064d0b05472833a438f675"
dependencies = [
 "cfg-if",
 "static_assertions",
]

[[package]]
name = "typenum"
version = "1.17.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "42ff0bf0c66b8238c6f3b578df37d0b7848e55df8577b3f74f92a69acceeb825"

[[package]]
name = "ucd-trie"
version = "0.1.7"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "2896d95c02a80c6d6a5d6e953d479f5ddf2dfdb6a244441010e373ac0fb88971"

[[package]]
name = "ucs2"
version = "0.3.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "df79298e11f316400c57ec268f3c2c29ac3c4d4777687955cd3d4f3a35ce7eba"
dependencies = [
 "bit_field",
]

[[package]]
name = "uguid"
version = "2.2.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "ab14ea9660d240e7865ce9d54ecdbd1cd9fa5802ae6f4512f093c7907e921533"
dependencies = [
 "bytemuck",
]

[[package]]
name = "unicode-ident"
version = "1.0.16"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "a210d160f08b701c8721ba1c726c11662f877ea6b7094007e1ca9a1041945034"

[[package]]
name = "unicode-xid"
version = "0.2.6"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "ebc1c04c71510c7f702b52b7c350734c9ff1295c464a03335b00bb84fc54f853"

[[package]]
name = "unsafe-libyaml"
version = "0.2.11"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "673aac59facbab8a9007c7f6108d11f63b603f7cabff99fabf650fea5c32b861"

[[package]]
name = "untrusted"
version = "0.9.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8ecb6da28b8a351d773b68d5825ac39017e680750f980f3a1a85cd8dd28a47c1"

[[package]]
name = "unwinding"
version = "0.2.5"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "51f06a05848f650946acef3bf525fe96612226b61f74ae23ffa4e98bfbb8ab3c"
dependencies = [
 "gimli",
]

[[package]]
name = "utf8parse"
version = "0.2.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "06abde3611657adf66d383f00b093d7faecc7fa57071cce2578660c9f1010821"

[[package]]
name = "version_check"
version = "0.9.5"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "0b928f33d975fc6ad9f86c8f283853ad26bdd5b10b7f1542aa2fa15e2289105a"

[[package]]
name = "virtio-drivers"
version = "0.7.5"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "d6a39747311dabb3d37807037ed1c3c38d39f99198d091b5b79ecd5c8d82f799"
dependencies = [
 "bitflags 2.8.0",
 "enumn",
 "log",
 "zerocopy 0.7.35",
]

[[package]]
name = "vstd"
version = "0.1.0"
source = "git+https://github.com/coliasgroup/verus.git?tag=keep/a60b3b7e08d514dc8e0ac3b30236db0c#a60b3b7e08d514dc8e0ac3b30236db0c3023c17a"
dependencies = [
 "builtin",
 "builtin_macros",
 "state_machines_macros",
]

[[package]]
name = "wasi"
version = "0.11.0+wasi-snapshot-preview1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "9c8d87e72b64a3b4db28d11ce29237c246188f4f51057d65a7eab63b7987e423"

[[package]]
name = "wasmparser"
version = "0.222.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "fa210fd1788e6b37a1d1930f3389c48e1d6ebd1a013d34fa4b7f9e3e3bf03146"
dependencies = [
 "bitflags 2.8.0",
]

[[package]]
name = "webpki-roots"
version = "0.26.8"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "2210b291f7ea53617fbafcc4939f10914214ec15aace5ba62293a668f322c5c9"
dependencies = [
 "rustls-pki-types",
]

[[package]]
name = "windows-sys"
version = "0.52.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "282be5f36a8ce781fad8c8ae18fa3f9beff57ec1b52cb3de0789201425d9a33d"
dependencies = [
 "windows-targets",
]

[[package]]
name = "windows-sys"
version = "0.59.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "1e38bc4d79ed67fd075bcc251a1c39b32a1776bbe92e5bef1f0bf1f8c531853b"
dependencies = [
 "windows-targets",
]

[[package]]
name = "windows-targets"
version = "0.52.6"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "9b724f72796e036ab90c1021d4780d4d3d648aca59e491e6b98e725b84e99973"
dependencies = [
 "windows_aarch64_gnullvm",
 "windows_aarch64_msvc",
 "windows_i686_gnu",
 "windows_i686_gnullvm",
 "windows_i686_msvc",
 "windows_x86_64_gnu",
 "windows_x86_64_gnullvm",
 "windows_x86_64_msvc",
]

[[package]]
name = "windows_aarch64_gnullvm"
version = "0.52.6"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "32a4622180e7a0ec044bb555404c800bc9fd9ec262ec147edd5989ccd0c02cd3"

[[package]]
name = "windows_aarch64_msvc"
version = "0.52.6"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "09ec2a7bb152e2252b53fa7803150007879548bc709c039df7627cabbd05d469"

[[package]]
name = "windows_i686_gnu"
version = "0.52.6"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8e9b5ad5ab802e97eb8e295ac6720e509ee4c243f69d781394014ebfe8bbfa0b"

[[package]]
name = "windows_i686_gnullvm"
version = "0.52.6"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "0eee52d38c090b3caa76c563b86c3a4bd71ef1a819287c19d586d7334ae8ed66"

[[package]]
name = "windows_i686_msvc"
version = "0.52.6"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "240948bc05c5e7c6dabba28bf89d89ffce3e303022809e73deaefe4f6ec56c66"

[[package]]
name = "windows_x86_64_gnu"
version = "0.52.6"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "147a5c80aabfbf0c7d901cb5895d1de30ef2907eb21fbbab29ca94c5b08b1a78"

[[package]]
name = "windows_x86_64_gnullvm"
version = "0.52.6"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "24d5b23dc417412679681396f2b49f3de8c1473deb516bd34410872eff51ed0d"

[[package]]
name = "windows_x86_64_msvc"
version = "0.52.6"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "589f6da84c646204747d1270a2a5661ea66ed1cced2631d546fdfb155959f9ec"

[[package]]
name = "xml-rs"
version = "0.8.25"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "c5b940ebc25896e71dd073bad2dbaa2abfe97b0a391415e22ad1326d9c54e3c4"

[[package]]
name = "xmltree"
version = "0.11.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "b619f8c85654798007fb10afa5125590b43b088c225a25fc2fec100a9fad0fc6"
dependencies = [
 "xml-rs",
]

[[package]]
name = "yasna"
version = "0.5.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "e17bb3549cc1321ae1296b9cdc2698e2b6cb1992adfa19a8c72e5b7a738f44cd"
dependencies = [
 "time",
]

[[package]]
name = "zerocopy"
version = "0.7.35"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "1b9b4fd18abc82b8136838da5d50bae7bdea537c574d8dc1a34ed098d6c166f0"
dependencies = [
 "byteorder",
 "zerocopy-derive 0.7.35",
]

[[package]]
name = "zerocopy"
version = "0.8.18"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "79386d31a42a4996e3336b0919ddb90f81112af416270cff95b5f5af22b839c2"
dependencies = [
 "zerocopy-derive 0.8.18",
]

[[package]]
name = "zerocopy-derive"
version = "0.7.35"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "fa4f8080344d4671fb4e831a13ad1e68092748387dfc4f55e356242fae12ce3e"
dependencies = [
 "proc-macro2",
 "quote",
 "syn",
]

[[package]]
name = "zerocopy-derive"
version = "0.8.18"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "76331675d372f91bf8d17e13afbd5fe639200b73d01f0fc748bb059f9cca2db7"
dependencies = [
 "proc-macro2",
 "quote",
 "syn",
]

[[package]]
name = "zeroize"
version = "1.8.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "ced3678a2879b30306d323f4542626697a464a97c0a07c9aebf7ebca65cd4dde"