Bazelify sev_snp_hello_world_kernel

Bug: 349587493 Change-Id: I7cd3cb370911198674d8fd7c7ee640045cabf989
project-oak · Jul 26, 2024 · 340e009 · 340e009
1 parent d39cc9e
commit 340e009
Show file tree

Hide file tree

Showing 11 changed files with 967 additions and 2,361 deletions.
diff --git a/Cargo_no_std.bazel.lock b/Cargo_no_std.bazel.lock
@@ -332,6 +332,7 @@ dependencies = [
  "hkdf",
  "hpke",
  "lazy_static",
+ "lock_api",
  "log",
  "maplit",
  "p256",
@@ -341,6 +342,7 @@ dependencies = [
  "rand_chacha",
  "rand_core",
  "sha2",
+ "spinning_top",
  "static_assertions",
  "strum",
  "virtio-drivers",

diff --git a/bazel/crates/oak_no_std_crates_index.bzl b/bazel/crates/oak_no_std_crates_index.bzl
@@ -124,6 +124,11 @@ def oak_no_std_crates_index(cargo_lockfile, lockfile):
                 features = ["spin_no_std"],
                 version = "*",
             ),
+            "lock_api": crate.spec(
+                default_features = False,
+                features = [],
+                version = "*",
+            ),
             "log": crate.spec(
                 features = [],
                 version = "*",
@@ -165,6 +170,7 @@ def oak_no_std_crates_index(cargo_lockfile, lockfile):
                 default_features = False,
                 version = "*",
             ),
+            "spinning_top": crate.spec(version = "*"),
             "static_assertions": crate.spec(version = "*"),
             "strum": crate.spec(
                 default_features = False,