xref: /aosp_15_r20/hardware/interfaces/security/rkp/aidl/android/hardware/security/keymint/DeviceInfoV3.cddl (revision 4d7e907c777eeecc4c5bd7cf640a754fac206ff7) 
1; Version 3, introduced in Android 14:
2DeviceInfo = {
3    "brand" : tstr,
4    "manufacturer" : tstr,
5    "product" : tstr,
6    "model" : tstr,
7    "device" : tstr,
8    "vb_state" : "green" / "yellow" / "orange",    ; Taken from the AVB values
9    "bootloader_state" : "locked" / "unlocked",    ; Taken from the AVB values
10    "vbmeta_digest": bstr,                         ; Taken from the AVB values
11    ? "os_version" : tstr,                         ; Same as
12                                                   ; android.os.Build.VERSION.release
13                                                   ; Not optional for TEE.
14    "system_patch_level" : uint,     ; YYYYMM, must match KeyMint OS_PATCHLEVEL
15    "boot_patch_level" : uint,       ; YYYYMMDD, must match KeyMint BOOT_PATCHLEVEL
16    "vendor_patch_level" : uint,     ; YYYYMMDD, must match KeyMint VENDOR_PATCHLEVEL
17    "security_level" : "tee" / "strongbox",
18    "fused": 1 / 0,  ; 1 if secure boot is enforced for the processor that the IRPC
19                     ; implementation is contained in. 0 otherwise.
20}
21