cmm: Update manual manifest notes

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Jan 6, 2024 · 8f350d0 · 8f350d0
1 parent 4d8c30b
commit 8f350d0
Showing 1 changed file with 4 additions and 6 deletions.
diff --git a/hacking/cargo-manifest-management/manual-manifests.nix b/hacking/cargo-manifest-management/manual-manifests.nix
@@ -8,11 +8,9 @@ let
 
   relativeToWorkspaceRoot = relativePath: "${toString ../..}/${relativePath}";
 
+  relativeToTmpSrc = relativePath: relativeToWorkspaceRoot "tmp/src/${relativePath}";
+
 in {
-  # "virtio-drivers" = relativeToWorkspaceRoot "tmp/virtio-drivers";
-  # "mbedtls" = relativeToWorkspaceRoot "tmp/rust-mbedtls/mbedtls";
-  # "mbedtls-sys-auto" = relativeToWorkspaceRoot "tmp/rust-mbedtls/mbedtls-sys";
-  # "mbedtls-platform-support" = relativeToWorkspaceRoot "tmp/rust-mbedtls/mbedtls-platform-support";
-  # "embedded-fat" = relativeToWorkspaceRoot "tmp/rust-embedded-fat";
-  # "volatile" = relativeToWorkspaceRoot "tmp/volatile";
+  # ring = relativeToTmpSrc "ring";
+  # rustls = relativeToTmpSrc "rustls/rustls";
 }