I just found this video about the Arduino Yun on a post from doctorcdf on the Internet of Holiday lights

 

 

and another about the RGB lighting shield

 

 

There's also a review of the code examples created during that challenge, thanks to jancumps

 

Compare the Infineon RGB libraries that spawned from the Internet of Holiday Lights

 

and some more about that shield from shabaz

 

RGB LED Shield from Infineon - Getting Started Guide

RGB LED Shield diagrams for documentation purposes