We only provide 4DPi kernel packages for the official Raspberry Pi OS (previously Raspbian OS). However, it should be possible to build the drivers for your target operating system from the source code provided.

Note that it is up to the user to get this to work.

Optionally, you can also submit a ticket to our support team if you are interested in a customized software solution.