Is it possible to debug the software running on the Ibex (or VexRisc) processor using GDB? Does anyone have experience with this? Concretely, I am interested in reading LA registers.