tree f7267778fcffc62a663e5e22f2e80eed66022181
parent b91b4c8a172792efbf8c9bbb4872f9fa547b79fe
author Rupert Swarbrick <rswarbrick@lowrisc.org> 1613749944 +0000
committer Rupert Swarbrick <rswarbrick@gmail.com> 1613996049 +0000

[otbn] Represent updates to PC more nicely in operation docs

Signed-off-by: Rupert Swarbrick <rswarbrick@lowrisc.org>