I tested the total control lighting library with the chipKIT Uno32 Arduino compatible PIC based microcontroller. Their IDE is a bit behind the Arduino version, so I would recommend using the 1.0 version of the library: arduino-TCL-1.0.zip. One difference in installation is that the library has to be unzipped into the mpdie/Java/hardware/pic32/libraries directory or it will not be recognized.