Highly recommend using Linker Serial Servo Module for controlling hobby servos with the PCDuino.
Without this servo motor, I had a hard time finding a way to get the PCDuino's GPIO/PWM to operate at 50Hz which is the typical operation cycle for most common hobby servos. Even if I tried to send a single pulse in Arduino for PCDuino using digitalWrite() and delayMicrosecond(), I still could not get the servo to repeatedly hold the same position. I have also tried the 5940 chip, but that still required a 50Hz clock and another clock at 50x4096 Hz which was to high of a frequency for the PCDuino to generate. This linker serial servo module appears to be the obvious way to go to drive a simple hobby servo motor.