RISC-V Debug Support for our PULP RISC-V Cores - View it on GitHub