Hi all,
I've added ChibiOS backend to TMK, which effectively means supporting chips that are supported by ChibiOS: pretty much all STM32 MCUs and the common Kinetis MCUs (the ones in ARM Teensies and mchck).
Note that this is a "backend", so all of hasu's powerful keyboard/mouse/etc... logic is the same as "normal" in TMK.
I consider this in beta, because it hasn't been tested beyond my own tests. Any reports (of bugs, problems, etc... and/or (less likely

There is one "onekey" example for Teensy LC and 3.0, instructions here.
Caveats:
- For Teensies, what's missing is some more fancy suspend support (breathing LED, power saving, waking up PC). This is on my todo list.
- For STM32s, same as for Teensies, plus missing bootmagic support (this requires EEPROM emulation, which I haven't done yet). There is bootloader support, but it requires an extra step to set up.
Why do I do this, if hasu's already put in mbed backend, you ask? Well, I don't like the mbed SDK too much. And I think it's good to have options to try if something doesn't work.
Finally, the infinity keyboard has a chip that's supported via this route, but I don't have the infinity PCB anymore. So if anyone with one is willing to help me with testing, please PM me. (I haven't added it to the main tree yet, the keyboard/infinity is hasu's mbed implementation.)