Re: [trinity-users] Is there a TDE build for Raspberry Pi Raspbian?