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

[[package]]
name = "aarch64_gdb"
version = "0.1.0"
dependencies = [
 "aarch64_mutex",
 "cpu",
 "exceptions",
 "gdb_remote",
 "io-api",
 "mutex",
]

[[package]]
name = "aarch64_hal"
version = "0.1.0"
dependencies = [
 "aarch64_gdb",
 "aarch64_mutex",
 "aarch64_test",
 "common",
 "cpu",
 "exceptions",
 "gic",
 "paging",
 "print",
 "psci",
 "soc",
 "timer",
 "tls",
]

[[package]]
name = "aarch64_mutex"
version = "0.1.0"
dependencies = [
 "aarch64_unit_test",
 "cpu",
 "exceptions",
 "mutex",
]

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

[[package]]
name = "aarch64_unit_test"
version = "0.1.0"
dependencies = [
 "aarch64_test",
 "print",
]

[[package]]
name = "allocator"
version = "0.1.0"
dependencies = [
 "intrusive_linked_list",
 "mutex",
 "typestate",
]

[[package]]
name = "arch_hal"
version = "0.1.0"
dependencies = [
 "aarch64_hal",
]

[[package]]
name = "block-device"
version = "0.1.0"
dependencies = [
 "arch_hal",
 "block-device-api",
 "cpu",
 "mutex",
 "typestate",
 "typestate_macro",
 "virtio",
]

[[package]]
name = "block-device-api"
version = "0.1.0"
dependencies = [
 "io-api",
]

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

[[package]]
name = "cpu"
version = "0.1.0"
dependencies = [
 "typestate",
 "typestate_macro",
]

[[package]]
name = "dtb"
version = "0.1.0"
dependencies = [
 "allocator",
 "common",
 "typestate",
]

[[package]]
name = "elf"
version = "0.1.0"
dependencies = [
 "typestate",
 "typestate_macro",
]

[[package]]
name = "elf-hypervisor"
version = "0.1.0"
dependencies = [
 "aarch64_test",
 "aarch64_unit_test",
 "allocator",
 "arch_hal",
 "dtb",
 "elf",
 "file",
 "gdb_remote",
 "io-api",
 "mutex",
 "net",
 "typestate",
 "virtio",
]

[[package]]
name = "exceptions"
version = "0.1.0"
dependencies = [
 "aarch64_test",
 "aarch64_unit_test",
 "common",
 "cpu",
 "print",
 "psci",
 "typestate",
 "typestate_macro",
]

[[package]]
name = "file"
version = "0.1.0"
dependencies = [
 "allocator",
 "arch_hal",
 "block-device",
 "block-device-api",
 "filesystem",
 "mutex",
 "typestate",
 "typestate_macro",
]

[[package]]
name = "filesystem"
version = "0.1.0"
dependencies = [
 "allocator",
 "block-device-api",
 "mutex",
 "typestate",
 "typestate_macro",
]

[[package]]
name = "gdb_remote"
version = "0.1.0"
dependencies = [
 "aarch64_test",
 "io-api",
 "print",
]

[[package]]
name = "gic"
version = "0.1.0"
dependencies = [
 "aarch64_mutex",
 "aarch64_test",
 "aarch64_unit_test",
 "allocator",
 "common",
 "cpu",
 "exceptions",
 "mutex",
 "paging",
 "print",
 "tls",
 "typestate",
 "typestate_macro",
]

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

[[package]]
name = "io-api"
version = "0.1.0"

[[package]]
name = "mutex"
version = "0.1.0"
dependencies = [
 "typestate",
]

[[package]]
name = "net"
version = "0.1.0"
dependencies = [
 "io-api",
]

[[package]]
name = "paging"
version = "0.1.0"
dependencies = [
 "aarch64_test",
 "allocator",
 "common",
 "cpu",
 "exceptions",
 "print",
 "typestate",
 "typestate_macro",
]

[[package]]
name = "pci"
version = "0.1.0"
dependencies = [
 "typestate",
 "typestate_macro",
]

[[package]]
name = "print"
version = "0.1.0"
dependencies = [
 "io-api",
 "mutex",
 "typestate",
 "typestate_macro",
]

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

[[package]]
name = "psci"
version = "0.1.0"
dependencies = [
 "cpu",
 "print",
]

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

[[package]]
name = "rpi_boot"
version = "0.1.0"
dependencies = [
 "aarch64_test",
 "aarch64_unit_test",
 "allocator",
 "arch_hal",
 "block-device-api",
 "dtb",
 "elf",
 "file",
 "mutex",
 "typestate",
 "typestate_macro",
]

[[package]]
name = "soc"
version = "0.1.0"
dependencies = [
 "common",
 "cpu",
 "dtb",
 "io-api",
 "mutex",
 "pci",
 "print",
 "timer",
 "typestate",
 "typestate_macro",
]

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

[[package]]
name = "timer"
version = "0.1.0"
dependencies = [
 "cpu",
]

[[package]]
name = "tls"
version = "0.1.0"
dependencies = [
 "cpu",
 "mutex",
]

[[package]]
name = "typestate"
version = "0.1.0"
dependencies = [
 "typestate_macro",
]

[[package]]
name = "typestate_macro"
version = "0.1.0"
dependencies = [
 "proc-macro2",
 "quote",
 "syn",
]

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

[[package]]
name = "virtio"
version = "0.1.0"
dependencies = [
 "allocator",
 "cpu",
 "intrusive_linked_list",
 "mutex",
 "typestate",
 "typestate_macro",
]

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