Make debug doesn't run program


Today I started using my hifive1 rev B board. I have can upload programs and can run them as well.
The problem is that when I run make PROGRAM=hello TARGET=sifive-hifive1-revb debug my code isn’t visible in the gdb. If I run list in I get the following

    (gdb) list
    14	#else
    15	# warning "There is no defined shutdown mechanism, metal_shutdown() will spin."
    16	void metal_shutdown(int code)
    17	{
    18	    while (1) {
    19	      __asm__ volatile ("nop");
    20	    }
    21	}
    22	#endif

I don’t know why this isn’t showing the hello.c code. I did notice that when I do make PROGRAM= hello TARGET=sifive-hifive1-revb at the end I get the following:

    ****** Error: Timeout while waiting for core to halt after reset and halt request
    ****** Error: CPU is not halted

Does anybody have any idea how to fix this such that I can debug the hello.c in gdb?

Kind regards,