tree 3bd6d4df617f72f54c256a452351644d29fd920b
parent 2ed3a581a2bda47d765c5601852e6431a2e68d14
author Michael Schaffner <msf@opentitan.org> 1643339745 -0800
committer Michael Schaffner <msf@google.com> 1643425178 -0800

[otp_ctrl/doc] Replace CSRNG with EDN in the docs

Signed-off-by: Michael Schaffner <msf@opentitan.org>