init

proc flash_stm32 {FILE} {
    reset halt
    sleep 100
    wait_halt 2

    flash write_image erase $FILE
    verify_image $FILE

    reset run
}