There are a bunch of posts around here, but a word of warning: the toolchain referenced is all much older than what you'll currently find in modern Linux distributions. This is a source of problems all over. I just bricked my last Dreamplug trying to upgrade uboot (a prerequisite to try and install a recent Debian), and openocd nowadays doesn't seem to work properly with these old boards, so to the skip it goes.
The whole plug scene seems to have been swept away by the Raspberry Pi. These forums are dead.