At the rightmost photo a dude appears using Arduino IDE :smileymischief:
Yup! They were using a Teensy 3.0 which has an Arduino port. The [USA] rules only explicitly state that one must use a Freescale 32-bit processor and the Teensy3.0 meets that criteria.
