commit ae8da1b70ad563edb79f4f7429b704b54c1a9e19
author Eran Messeri <eranm@google.com> Tue Jun 19 17:12:04 2018 +0100
committer Eran Messeri <eranm@google.com> Thu Jun 21 20:35:45 2018 +0100
tree fca89c8d77c8c6c888e60db4778f6b71e4d70ef6
parent db94365e732de859fadeaa2e7b422b1ecbe66d6b

Fixing Keymaster documentation.

Keymaster HAL documentation documents the bootPatchLevel as having
tag 718, while types.hal indicates the tag value for it is actually
719.

Test: N/A
Bug: 78104779
Change-Id: I0dde0b3c863081f2594e20466d8e82866a5f2d2e

keymaster/4.0/IKeymasterDevice.hal

diff --git a/keymaster/4.0/IKeymasterDevice.hal b/keymaster/4.0/IKeymasterDevice.hal
index 74d13d8..85a25c6 100644
--- a/keymaster/4.0/IKeymasterDevice.hal
+++ b/keymaster/4.0/IKeymasterDevice.hal
@@ -753,7 +753,7 @@
      *     attestationIdManufacturer  [716] EXPLICIT OCTET_STRING OPTIONAL,
      *     attestationIdModel         [717] EXPLICIT OCTET_STRING OPTIONAL,
      *     vendorPatchLevel           [718] EXPLICIT INTEGER OPTIONAL,
-     *     bootPatchLevel             [718] EXPLICIT INTEGER OPTIONAL,
+     *     bootPatchLevel             [719] EXPLICIT INTEGER OPTIONAL,
      * }
      *
      * The above schema is mostly a straightforward translation of the IKeymasterDevice tag/value