Register 834 is not available

Hi folks, 
I am trying to debug a simple application with GDB, having a debug bridge running on a ZedBoard.

When I try to set a breakpoint, using the following command

> b main

I get the following error:

> Register 834 is not available

Does anyone know how to work around this?
I am running the debug bridge on a ZedBoard and the official RISC-V GDB on my laptop.

Thanks!