Hi Alex,
as far as I now there is a RaspBian Wheezy build available in the nightly repositories.
https://quickbuild.pearsoncomputing.net/~trinity/+archive/trinity-nightly-builds/+packages?field.name_filter=&field.status_filter=published&field.series_filter=raspbian-wheezy

I remember Tim posting a screenshot of TDE running on a Raspberry, perhaps about 1 year ago.

Cheers
  Michele