tree 8312a4d83be8a97d694fafea7476585ec66413c6
parent 1a8b6f6e50d57ebf82c18de6e680d7c7382a6849
author Michael Schaffner <msf@opentitan.org> 1640360171 -0800
committer Michael Schaffner <msf@google.com> 1641933367 -0800

[prim_alert_receiver] Fix ping during init sequence bug

Fix #9803

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