Hi,
Infineon’s XMC 4000 family joins mbed. Checkout the first beta implementation which is available under
the following GidHub repository: LINK
Supported board: XMC4500 Relax Kit
Supported toolchain: ARM_GCC
Available drivers: I2C, Serial, InterruptIn, AnalogIn, AnalogOut, PwmOut, DigitalIn, DigitalOut.
Coming soon: SPI, USB_Serial, RTC.
Try the demo examples…
Feedback is welcome 
have fun
Fränz