How to turn a Raspberry Pi into a 1080p Citrix Receiver Thin Client.
I’ve often thought about turning a Raspberry Pi into a thin client, being a powerful and cheap device, at around £25 each, its a no brainer.
I’ve spent countless hours attempting to use one of the linux based options but didn’t really get very far. Now, however, Muhammad Dawood has released his HDX 1080p Receiver for Raspberry Pi. Heres a video of it in action…
Pretty Cool eh?
So, I’ve written this post to go through the steps from bare bones to finished receiver.
What You’ll need…
A Micro USB Power supply for the Pi
First thing is to get a compatible image on the SD Card. Some Raspberry Pi kits will come with a ready-to-go card with the distribution pre-installed, or these can be bought separately, if you wish to go down this route. The Receiver will work on both Raspbian and NOOBS. For my install I’ve decided on Raspbian. I downloaded the image from .
Once you have the downloaded image, you’ll need to format the SD Card
Formatting the SD Card
1. Download and install the SD Association’s Formatting tool from
2. Open the Application you have just installed
3. Set “FORMAT SIZE ADJUSTMENT” to ON in the Options menu.
4. Make sure you have selected the Drive your SD Card is inserted in
5. Click “Format”
1. Download and install the SD Association’s Formatting tools from
2. Select “Overwrite format”
3. Make sure you have selected your SD Card, and not something else
4. Click “Format”
Flashing the SD Card
There are lots of different ways to flash the cards using many 3rd party tools. As I’m a Mac user I’m using <> I suggest reading for the various ways to get the image on the card and these are really down to personal preference.
Once loaded I selected IMG to SD-Card and select my Downloaded Rasbian .img file.
After about 8 Minutes the Pi is nicely baked…
Configuring the Pi (raspi-config)
With the card flashed its time to connect up the pi. Connect the HDMI, Mouse and Keyboard, Ethernet Cable and insert the SD Card. Once all is connected then insert the Power cable.
THe Pi will boot for a few seconds and then the rasp-config page will be displayed.
Go through the options.
Option 1 to expand the files system size to use the full SD card.
Option 2 to change the default password to one of your choosing.
Option 3 to decide on a Desktop or command-line environment at start-up, I selected command-line here (Real Men Don’t Click 😉 ).
Option 4 to configure your regional settings.
Dont bother with Option 7 to overclock the device, this is handled by Muhamoods installer.
Once the above have been completed select finish.
The pi will then reboot and you will be prompted with the login prompt
Enter the Username : pi
Password : you changed in the configuration
Once Logged in type : – ifconfig This will display your devices IP Address, you’ll need this to get the receiver code onto the device.
Then update the pi
sudo rpi-update and wait for the update to complete.
On completion reboot the Pi :-
Receiver Code install
The following steps are taken from Muhammads Blog post.
1. Download the source code from the above blog.
2. Use WinSCP or simular to copy the file from your download machine to the Raspberry pi. The ip address can be found using
ifconfig on the device. I copied the downloaded cr13pi.tar. simular to
3. The files then need uncompressing
4. If your storefront server requires secure connection (https) then you need to copy the root certs into the certificates folder at this point. They need to be in .pem format.
5. Once done execute the configuration script
sudo ./setup.sh The script will then go off and work its magic…
The script will reboot the Pi and you will be prompted with the Receiver EULA. Read and Accept and its installed.
Edit: Some of you, like I nay have had problems connecting to storefront. My next post will cover configuring the Certificates