I wonder if this development board serves to use the gimx:

Features
ATMega 32U4 running at 5V/16MHz.
Supported under Arduino IDE v1.0 (un-comment "leonardo" lines in boards.txt).
On-Board micro-USB connector for programming.
4 x 10-bit ADC pins.
12 x Digital I/Os (5 are PWM capable).
Rx and Tx Hardware Serial Connections.
Our Smallest Arduino-Compatible Board Yet!.