1 /* 2 * Copyright (c) 2001-2019, Arm Limited and Contributors. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 #include <stdint.h> 7 8 uint32_t OTP_CM_VALUES[] = { /* no PCI or TCI mode*/ 9 10 /* [0x00-0x07]: 256bit Device root key (HUK) */ 11 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 12 /* [0x08-0x0B]: 128bit ICV Provosioning secret (Kpicv) */ 13 0x00000000, 0x00000000, 0x00000000, 0x00000000, 14 /* [0x0C-0x0F]: 128bit ICV Provosioning secret (Kceicv) */ 15 0x00000000, 0x00000000, 0x00000000, 0x00000000, 16 /* [0x10]: manufacturer programmed flag */ 17 0x00000000, 18 /* [0x11-0x18]: a single 256b SHA256 (Hbk), or, two 128b truncated SHA256 HBK0 and HBK1 */ 19 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 20 /* [0x19-0x1C]: 128bit OEM provisioning secret (Kcp) */ 21 0x00000000, 0x00000000, 0x00000000, 0x00000000, 22 /* [0x1D-0x20]: 128bit OEM code encryption secret (Kce) */ 23 0x00000000, 0x00000000, 0x00000000, 0x00000000, 24 /* [0x21]: OEM programmed flag */ 25 0x00000000, 26 /* [0x22-0x23]: Hbk0 trusted FW min version */ 27 0x00000000, 0x00000000, 28 /* [0x24-0x26]: Hbk1 trusted FW min version */ 29 0x00000000, 0x00000000, 0x00000000, 30 /* [0x27]: general purpose configuration flag */ 31 0x00000000, 32 /* [0x28-0x2B] - 128b DCU lock mask */ 33 0x00000000, 0x00000000, 0x00000000, 0x00000000, 34 35 }; 36 37 38 uint32_t OTP_DM_HBK_VALUES[] = { 39 40 /* [0x00-0x07]: 256bit Device root key (HUK) */ 41 0x00000001, 0x00000001, 0x00000001, 0x00000001, 0x00000001, 0x00000001, 0x00000001, 0x00000001, 42 /* [0x08-0x0B]: 128bit ICV Provosioning secret (Kpicv) */ 43 0x00000000, 0x00000000, 0x00000000, 0x00000000, 44 /* [0x0C-0x0F]: 128bit ICV Provosioning secret (Kceicv) */ 45 0x00000000, 0x00000000, 0x00000000, 0x00000000, 46 /* [0x10]: manufacturer programmed flag */ 47 0x808080f8, 48 /* [0x11-0x18]: a single 256b SHA256 (Hbk), or, two 128b truncated SHA256 HBK0 and HBK1 */ 49 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 50 /* [0x19-0x1C]: 128bit OEM provisioning secret (Kcp) */ 51 0x00000000, 0x00000000, 0x00000000, 0x00000000, 52 /* [0x1D-0x20]: 128bit OEM code encryption secret (Kce) */ 53 0x00000000, 0x00000000, 0x00000000, 0x00000000, 54 /* [0x21]: OEM programmed flag */ 55 0x00000000, 56 /* [0x22-0x23]: Hbk0 trusted FW min version */ 57 0x00000000, 0x00000000, 58 /* [0x24-0x26]: Hbk1 trusted FW min version */ 59 0x00000000, 0x00000000, 0x00000000, 60 /* [0x27]: general purpose configuration flag */ 61 0x00000000, 62 /* [0x28-0x2B] - 128b DCU lock mask */ 63 0x00000000, 0x00000000, 0x00000000, 0x00000000, 64 65 }; 66 67