Pin reset using OpenOCD

Hi,

How do I perform a pin reset or a core reset using OpenOCD on the HiFive1 board? It seems like when I issue the ‘monitor reset’ or ‘monitor reset halt’ in gdb nothing really happens. The only way I have found to reset the HiFive1 board is to either set the pc to ‘_entry’ using gdb commands or to push the reset button.