Skip to content

Fix for issue #355 on cv32e40s.

Created by: silabs-oysteink

Changed how RVFI backpropagates "in_trap" upon debug entry. Previously the backpropagation could cause already signaled "in_trap" to be backpropagated, causing multiple "rvfi_intr" for the same trap.

Should also fix issue #831 (closed)

Merge request reports

Loading