In case you'd rather work on real hardware instead of an emulator, I can recommend Genesi machines (I am not affiliated with them) : http://www.genesi-usa.com/products
It's well-designed, inexpensive and supports both armel and armhf ABIs (one of the guys behind the debian armhf port works mostly on a Smartbook). Besides, they take customer support very seriously.
