Papilio DUO-2MB

Where can I find the documentation? How is the Arduino Microcontroller connected to the FPGA?