linux-4.9.41-pi-rt30

Compiled by us, experimental, requires recent raspbian.

After dpkg -i, do something like this:

pi@raspberrypi:/boot $ sudo cp kernel7.img kernel7.img.old
pi@raspberrypi:/boot $ sudo cp vmlinuz-4.9.41-rt30-v7+ kernel7.img

4.4.47 RT59

Compiled by us, experimental.

After dpkg -i, do something like this:

pi@raspberrypi:/boot $ sudo cp kernel7.img kernel7.img.old
pi@raspberrypi:/boot $ sudo mv vmlinuz-4.4.47-rt59-v7+ kernel7.img