Getting Started with chipKIT: The Arduino Compatible PIC32 Based Module