I was just looking at these yesterday. It's known that they are based off linux, specifically Gentoo (due to it's ability to specialize your builds and adapt to just about any hardware). It also seems pretty trivial to install a more generic brand of Linux like Ubuntu onto an SD card, and boot off of that. Once you have Ubuntu, downloading dependencies and compiling CGMiner should be pretty straightforward.
The bigger issue seems to be spending $250 on a device to do this. There are other options (including ones that have a screen/keyboard) that can be had for cheaper than $250.
i was thinking about buying a RPI but there was a back order of 25k and not only that i did see these little mother boards that are almost $75-$120 that someone on BFL Forums talked to me about but if anyone else has an idea on what to use There BFL Products on lets spreed the possibilities for everyone!
NOT A BFL STAFF