tree bd5382832c7d880c93e1ec6d29dd31c20249b039
parent fd0b5dfce72a334b93eb9adf1f2aa6b805f08d5a
author Amaury Pouly <amaury.pouly@lowrisc.org> 1677517110 +0000
committer Douglas Reis <65042207+engdoreis@users.noreply.github.com> 1678372888 +0000

[opentitantool] add a command to export a public key to header file

The "show" command can be used to display a key but the output formats
supported are only json, json5, etc. It does not make sense to add
an output format just for the ROM since it is so specific to this
particular command. Instead I created another command that output
the header that can be used in the ROM/ROM_EXT.

Signed-off-by: Amaury Pouly <amaury.pouly@lowrisc.org>