Hi, has anybody looked at implementing support for Infineon XMC1xxx CPUs? The advantage of these ICs is that (a) they run on anything from 1.8V to 5.5V, (b) I can actually buy them from my distributor (as opposed to STM32 which are sold out until forever).