nope, but it's not that hard,
I did something like this:
1) download Debian Wheezy rasbperryPi image from here: http://www.raspberrypi.org/downloads/
2) write it to SD card: http://www.raspberrypi.org/documentation/installation/installing-images/README.md
3) connect microusb for power and monitor and keyboard to rasbPi and boot up, there will be little setup, i think you should do the 1st step atleast (just choose to enlarge partition, and all will be automatic)
4) connect fash-hast card to raspbery, after that when typing 'lsusb' you should see a new device that was not there before you connected fash-hast card.
5) install some more packages:
sudo apt-get install build-essential autoconf automake libtool pkg-config libcurl3-dev libudev-dev
6) clone cgminer from git
git clone git://github.com/ckolivas/cgminer.git
7) compile
cd cgminer
./autogen
./configure --enable-hashfast
make
run cgminer as usual
EDIT: And don't forget to tip ckolivas
How are the miners performing?
at least 13% under the promised 750gh/s spec. over 30% under spec in my case.