Lazy follow up to my previous post on the Raspberry Pi. Here are some more recent benchmarks using a more up-to-date image: http://openbenchmarking.org/result/1302242-BY-1205272AR49
Take aways: Performance has improved greatly. Still get's crushed by a P4, but performance per watt is now clearly in the Pi's favour.
Some of the tests failed because I don't have a monitor hooked up to me Pi. (Like GTK perf). With the Wayland changes, I guess I might have to review this again with one..