If anyone is interested in running TDE on a Raspberry Pi (2 or 3),
it's relatively easy (much more so than w/ a cubieboard) and works
surprisingly well.

http://davelers.com/Linux/Distros/Debian/#5272