https://www.crowdsupply.com/third-pin/pastilda
same sort of thing. basically they use an STM32F4 (both of them). btw when you next speak to them, mention libopencm3 and the fact that i use the STM32F072... there is *absolutely no need* for proprietary firmware-flashing tools with the STM32F range *at all*.
l.