What does ChibiOS add to TMK functionality?

[lunas]

I've got an Infinity 60% that I want to start configuring through tmk. This will be my first real foray into customizing tmk, so I'll start simple with layouts and layers, then move on to macros and LED control. Looking through the tmk repo I've seen references to ChibiOS and used it with matt3o's tmk build.  What does ChibiOS add to tmk?

[joey]

ChibiOS adds support for ARM MCUs.

[lunas]

Thanks for the quick response. So, based on my small amount of understanding on this, there is no need for chibios on the current Infinity 60%?

[ctm]

Thanks for the quick response. So, based on my small amount of understanding on this, there is no need for chibios on the current Infinity 60%?

IIRC, the ChibiOS based one supports media key and mouse key, while the mbed based one does not.