[H-GEN] Recommendations for "little machines"

[Ben Martin]

Howdee,
  I recently got a minix from miniand and have tinkered with a few Linux
distros on it, one even being hard float. 
http://monkeyiq.blogspot.com.au/2012/10/mini-xplus-hard-float.html

  I noticed the mk808, ug802 etc which are based on the Rockchip RK3066
dual core at 1.2-1.6ghz depending on config. Still haven't seen info on
how to run a full distro on that soc yet instead of android. Though
getting a dongle, cracking it apart and putting a real heat sink on it
is very tempting if I can get debianhf on the software side ;)

  Thought I'd ping the list in case folks have recommendations for good
choices for hardware preferably dual core + hf that can run a mainstream
distro.