Hi,
I would like to know if there is a set of packages available for the Raspberry Pi model B with 512mb of RAM mini computer. I use Raspbian (based on Debian 7).

I bought it last week and with the turbo (well...) overclock at 1000mhz, it has almost adequate processing power for running TDE, probably similar to the power of PCs used in the first part of the KDE3 era.

Thank you very much!
-Alexandre