aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlan Stokes <alanstokes@google.com>2023-12-01 14:44:19 +0000
committerAutomerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com>2023-12-01 14:44:19 +0000
commit458a5258a8a48e2941abda8dc31a7bffd69b281f (patch)
tree81669406a226e931c3ea2e27c3d924c2b02dd9bd
parent5f90aa464b387494819fc3f984550863d1152463 (diff)
parent2b4b898d7541f8c2740f2ce0a491b65cae845fed (diff)
downloadopen-dice-458a5258a8a48e2941abda8dc31a7bffd69b281f.tar.gz
Merge upstream changes am: 2b4b898d75
Original change: https://android-review.googlesource.com/c/platform/external/open-dice/+/2852550 Change-Id: I466222a31096fe7f287ba13d1286ed403f02b085 Signed-off-by: Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com>
-rw-r--r--docs/android.md27
1 files changed, 4 insertions, 23 deletions
diff --git a/docs/android.md b/docs/android.md
index 6398996..8c40f27 100644
--- a/docs/android.md
+++ b/docs/android.md
@@ -76,35 +76,16 @@ of the reserved range.
Unless explicitly stated as required in the [versions](#versions) section, each
field is optional. If no fields are relevant, an empty map should be encoded.
-Name | Key | Value type | Meaning
+Name | Key | Value&nbsp;type | Meaning
--- | --- | --- | ---
Component&nbsp;name | -70002 | tstr | Name of the component
Component&nbsp;version | -70003 | int&nbsp;/&nbsp;tstr | Version of the component
Resettable | -70004 | null | If present, key changes on factory reset
-Security&nbsp;version | -70005 | uint | Machine-comparable, monotonically increasing version of the component where a greater value indicates a newer version, for example, the anti-rollback counter
-[RKP&nbsp;VM][rkp-vm]&nbsp;marker | -70006 | null | If present, the component can take part in running a VM that can receive an attestation certificate from an [RKP Service][rkp-service].
+Security&nbsp;version | -70005 | uint | Machine-comparable, monotonically increasing version of the component where a greater value indicates a newer version. This value must increment for every update that changes the code hash, for example by using the timestamp of the version's release.
+[RKP&nbsp;VM][rkp-vm]&nbsp;marker | -70006 | null | See the [Android HAL documentation][rkp-hal-readme] for precise semantics, as they vary by Android version.
[rkp-vm]: https://android.googlesource.com/platform/packages/modules/Virtualization/+/main/service_vm/README.md#rkp-vm-remote-key-provisioning-virtual-machine
-[rkp-service]: https://source.android.com/docs/core/ota/modular-system/remote-key-provisioning#stack-architecture
-
-### RKP VM
-
-The RKP VM marker is used to distinguish the RKP VM from other components.
-
-When parsing a DICE chain compliant with this profile, there are multiple types
-of components that may be described by a given chain:
-1. RKP VM: If a DICE chain has zero or more certificates without the RKP VM
- marker followed by one or more certificates with the marker, then that chain
- describes an RKP VM. If there are further certificates without the RKP VM
- marker, then the chain does not describe an RKP VM.
-
- Implementations must include the first RPK VM marker as early as possible
- after the point of divergence between TEE and non-TEE components in the DICE
- chain, prior to loading the Android Bootloader (ABL).
-2. A TEE Component (e.g. KeyMint): If there are no certificates with the RKP VM
- marker then it describes a TEE component.
-3. Other: Any component described by a DICE chain that does not match the above
- two categories.
+[rkp-hal-readme]: https://android.googlesource.com/platform/hardware/interfaces/+/main/security/rkp/README.md
### Versions