Reference to non-existing debug_mode_o signal in user manual #984
Description
https://docs.openhwgroup.org/projects/cv32e40x-user-manual/en/latest/debug.html#interface refers to non-existing debug_mode_o signal.
Replace by debug_halted_o
{{ message }}