We only provide 4DPi kernel packages for the Raspberry Pi boards. However, it should be possible to edit the source code and build the drivers for your target hardware. Note that it is up to the user to get this to work.

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