Does anyone know of a way to interface the litex processor in the caravel harness with a debugger such as GDB during simulation? I'm trying to troubleshoot some firmware issues and trying to infer the state of the processor using the waveform output manually is somewhat doable but extremely slow. I'm wondering if there's a better way to do this.