source [find board/sifive-hifive1.cfg]

$_TARGETNAME configure -event gdb-attach {
        reset halt
        gdb_breakpoint_override hard
}

$_TARGETNAME configure -event gdb-detach {
        resume
        shutdown
}