I'v just started working with some STM32F303Discovery boards to explore ideas for a high school physical computing class. The boards are brand new stock from Mouser I'm trying to get ITM messages and so far I'm striking out. I'm using OpenOCD on macO...