I'm curious if there might be any problems running Turnkey Linux on ARM hardware? Would I need a special build for that? Is there one available somewhere? I'm looking at hardware like this which can run Ubuntu (or perhaps a raspberry pi):

http://www.engadget.com/2012/12/02/hardkernal-reveals-pair-of-quad-core-...