diff options
Diffstat (limited to 'debug_rom/debug_rom.S')
-rwxr-xr-x | debug_rom/debug_rom.S | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debug_rom/debug_rom.S b/debug_rom/debug_rom.S index ca58ee4..9825d48 100755 --- a/debug_rom/debug_rom.S +++ b/debug_rom/debug_rom.S @@ -32,6 +32,7 @@ resume: clear_debint: csrr s1, CSR_MHARTID sw s1, CLEARDEBINT(zero) + # TODO: race: what if the debugger sets debug int at this point? clear_debint_loop: csrr s1, DCSR andi s1, s1, (1<<DCSR_DEBUGINT_OFFSET) |