commit a17cfbaf03835bfdc3f47ca739202c32168112b6
author Alan Stokes <alanstokes@google.com> Wed Feb 14 17:34:51 2024 +0000
committer Alan Stokes <alanstokes@google.com> Thu Feb 15 13:01:32 2024 +0000
tree 3cf979c9ae9c4d7171b4bb252274ce5ef72abcbb
parent 6e2b12d09369a643bd5ef69897c4c00f493c48a3

Make the RKP VM marker affect the sealing CDI

Modify the DICE hidden input to depend on whether the VM is the RKP VM
or not, to ensure that it always gets a different sealing CDI.

Bug: 323523191
Test: atest rialto_test MicrodroidTests
Change-Id: Iaf7d39dfee6ebf316e957434f86070b8cb272e9a

pvmfw/Android.bp

diff --git a/pvmfw/Android.bp b/pvmfw/Android.bp
index 9a2b3ef..6a6d199 100644
--- a/pvmfw/Android.bp
+++ b/pvmfw/Android.bp
@@ -110,6 +110,7 @@
         "libciborium",
         "libdiced_open_dice_nostd",
         "libpvmfw_avb_nostd",
+        "libzerocopy_nostd",
     ],
 }