diff options
Diffstat (limited to 'crates/Cargo.lock')
| -rw-r--r-- | crates/Cargo.lock | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/crates/Cargo.lock b/crates/Cargo.lock index e49301e..41384f7 100644 --- a/crates/Cargo.lock +++ b/crates/Cargo.lock @@ -302,6 +302,12 @@ source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "f162c6dd7b008981e4d40210aca20b4bd0f9b60ca9271061b07f78537722f2e1" [[package]] +name = "spin" +version = "0.9.8" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "6980e8d7511241f8acf4aebddbb1ff938df5eebe98691418c4468d0b72a96a67" + +[[package]] name = "static_assertions" version = "1.1.0" source = "registry+https://github.com/rust-lang/crates.io-index" @@ -365,7 +371,9 @@ name = "vernos_kernel" version = "0.1.0" dependencies = [ "cfg-if", + "contracts", "log", + "spin", "vernos_alloc_buddy", "vernos_alloc_physmem_free_list", "vernos_device_tree", |