After building risv-tools, tried
spike --gdb-port 9999 pk hello
the spike is supposed to be hanging there and waiting for gdb connection. But it runs through the whole program without stop, so that there is no way for gdb to connect with spike.
Does anyone know what is going on?