boards/x86/quark_d2000_crb/support/openocd.cfg

source [find board/quark_d2000_onboard.cfg]
adapter_khz 6000

lmt.cpu configure -event gdb-attach {
        reset halt
        gdb_breakpoint_override hard
}

lmt.cpu configure -event gdb-detach {
        resume
        shutdown
}