If a smartphone (when we switch to binary) can process 1000TPS, a RaspberryPi could also process 1000TPS, am I right? If this is not the case, we should look into the Odroid, if it is far superior to RPi.
Actually, Odroid-U3 is superior than most smartphones today. It has quad-core Samsung Exynos and 2Gb of RAM. I think it's more than enough for 1000 TPS.
I am a big $35 Raspberry Pi fan but IF the Odroid-U3 comes available in mass quantities, it would be worth choosing it as the standard NXT server unit at only $59 each. The extra capability (particularly 2GB RAM) is well worth the slightly higher price, and it's still only 10 W. Currently, tho, it's single-unit sales only. That's my only problem with it if we need lots of them now.