These are the linux pre-built kernels 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:
For the Pi3
cd ~
sudo tar xzf ~/Downloads/pixie-kernel-pi3-x.y.tgz
or for real time
cd ~
sudo tar xzf ~/Downloads/pixie-kernel-pi3-rt-x.y.tgz
For the Pi4
cd ~
sudo tar xzf ~/Downloads/pixie-kernel-pi4-x.y.tgz
or for real time
cd ~
sudo tar xzf ~/Downloads/pixie-kernel-pi4-rt-x.y.tgz
This will extract all the files into the ~/Pixie/Kernel directory on the Raspberry Pi ready to install the ones you require