Skip to content

Instantly share code, notes, and snippets.

@ilebedev

ilebedev/secure_boot_sk_t.c

Last active October 8, 2018 20:39
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save ilebedev/1048e72d5209cd2c1179ced9c2ffe56e to your computer and use it in GitHub Desktop.
Save ilebedev/1048e72d5209cd2c1179ced9c2ffe56e to your computer and use it in GitHub Desktop.
Download ZIP
Raw
secure_boot_sk_t.c
void get_sk_d(uint8_t[64] out_sk_d);
/* Accessor for the device key SKd populates the buffer out_sk_d with the key unless `hide_sk_t_until_reboot` has previously been invoked. */
void hide_sk_d_until_reboot();
/* Ensures that subsequent calls to `get_sk_d` do not yield any information about SKd until the system restarts. */
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment