These are the linux overlays 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:
sudo tar xzf ~/Downloads/pixie-overlays-x.y.tgz
This will extract all the files into the /boot/overlays directory on the Raspberry Pi ready to compile the one’s you require.