This is the latest firmware to use with the PIXIE boards.
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-firmware-x.y.tgz
This will extract all the files into the local directory ~/pixiefirmware, follow the instructions in the Pixie configuration manual to reprogam your boards.