Infineon XMC1xxx support

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).