boards/x86/tinytile/support/openocd.cfg

source [find interface/ftdi/flyswatter2.cfg]
source [find board/quark_se.cfg]

quark_se.quark configure -event gdb-attach {
        reset halt
        gdb_breakpoint_override hard
}

quark_se.quark configure -event gdb-detach {
        resume
        shutdown
}