# Uploading

From https://software.intel.com/en-us/node/604844:

    target remote localhost:3333
    monitor gdb_breakpoint_override hard
    set remotetimeout 30
    monitor clk32M
    file ISSM_BSP_ROOT/examples/accel/debug/quark_d2000/obj/accel.elf
    load
    monitor reset halt
    flushregs
    tb main
    c

A useful openocd launch command:

    openocd -s $ISSM/tools/debugger/openocd/scripts -f board/quark_d2000_onboard.cfg

A useful gdb launch command:

    gdb-ia -ex "target remote localhost:3333" \
        -ex "monitor gdb_breakpoint_override hard" \
        -ex "set remotetimeout 30" \
        -ex "monitor clk32M" \
        -ex "monitor reset halt"