target/stm32h7x: add support of dual core variant of STM32H7
[fw/openocd] / tcl / board / dk-tm4c129.cfg
2015-02-11 Heinz Schweigercfg: TI Tiva C dk-tm4c129x Evaluation Kits