Decargo Oak Restricted Kernel

BUG: 333064338 Change-Id: I9238f384a831c5452b68b95ad08402f6284492a6
project-oak · Aug 11, 2024 · 3438254 · 3438254
1 parent f21fbf7
commit 3438254
Show file tree

Hide file tree

Showing 15 changed files with 33 additions and 2,191 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -51,7 +51,6 @@ members = [
   "oak_proto_rust",
   "oak_proto_rust/grpc",
   "oak_proto_rust/micro_rpc",
-  "oak_restricted_kernel",
   "oak_restricted_kernel_dice",
   "oak_restricted_kernel_interface",
   "oak_restricted_kernel_sdk",
@@ -73,8 +72,6 @@ members = [
 exclude = [
   "enclave_applications",
   "micro_rpc_workspace_test",
-  "oak_restricted_kernel_bin",
-  "oak_restricted_kernel_wrapper",
   "stage0_bin",
   "testing/oak_echo_app",
   "testing/oak_echo_raw_app",

diff --git a/oak_kernel_measurement/README.md b/oak_kernel_measurement/README.md
@@ -10,18 +10,7 @@ Stage 0 measures these split, modified components rather than the original
 bzImage kernel. This tool can be used to predict the Stage 0 measurements of
 these components from a bzImage kernel.
 
-The tool can be run using either:
-
-- All built with Cargo option:
-
-```bash
-cargo run --package=oak_kernel_measurement -- \
-    --kernel=oak_containers_kernel/target/bzImage
-cargo run --package=oak_kernel_measurement -- \
-    --kernel=oak_restricted_kernel_wrapper/target/x86_64-unknown-none/release/oak_restricted_kernel_simple_io_init_rd_wrapper_bin
-```
-
-- Restricted kernel built with Bazel option (oak_containers_kernel still Cargo):
+The tool can be run using:
 
 ```bash
 cargo run --package=oak_kernel_measurement -- \