tcl/target/imx8m: use hwthread rtos
[fw/openocd] / tcl / board / stm32mp15x_dk2.cfg
2020-04-21 Antonio Borneotcl: stm32mp15x: add target and board config files