# Sample OpenOCD configuration for the Tiva-C Launchpad development board

source [find board/ti_ek-tm4c123gxl.cfg]