prod_key_1_spx.h

// Copyright lowRISC contributors (OpenTitan project).
// Licensed under the Apache License, Version 2.0, see LICENSE for details.
// SPDX-License-Identifier: Apache-2.0
 
#ifndef OPENTITAN_SW_DEVICE_SILICON_CREATOR_ROM_KEYS_REAL_SPX_PROD_KEY_1_SPX_H_
#define OPENTITAN_SW_DEVICE_SILICON_CREATOR_ROM_KEYS_REAL_SPX_PROD_KEY_1_SPX_H_
 
#define PROD_KEY_1_SPX \
  {                    \
    .data = {          \
      0x80F14530,      \
      0x1F62FEB8,      \
      0x99E2479C,      \
      0x87FC7825,      \
      0xA445AFB1,      \
      0x34D51734,      \
      0x289CAD60,      \
      0xAFE44BE7       \
    }                  \
  }
#endif  // OPENTITAN_SW_DEVICE_SILICON_CREATOR_ROM_KEYS_REAL_SPX_PROD_KEY_1_SPX_H_