These are the linux drivers required to support the PIXIE boards with the Raspberry Pi.
Download to the Raspberry Pi and follow the instructions in the Pixie Configuration manual or those shown below to extract the files to a local directory.
On the Raspberry Pi Open a command line window and enter the following:
cd ~
tar xzf ~/Downloads/pixie-drivers-x.y.tgz
This will extract all the files into the local directory pixie-drivers on you Raspberry Pi.