source [find interface/stlink-v2.cfg]
set WORKAREASIZE 0x4000
source [find target/stm32f0x.cfg]

# serial of my f072 disco board.
hla_serial "Q?o\x06PgHW#$\x16?"

# no trace on cm0
#tpiu config internal swodump.stm32f4disco.log uart off 168000000

# Uncomment to reset on connect, for grabbing under WFI et al
reset_config srst_only srst_nogate
# reset_config srst_only srst_nogate connect_assert_srst