Nvidia driver for PPC64le

[Jerome Kieffer]

Dear Debian Packagers,

We are about to install a cluster of IBM Power9 and wonder about the best
operating system ... Debian 10 looks the best but we are missing the
nvidia driver.

I did not find any reference for a ppc64le build of nvidia drivers in
debian. Is this because the user base is too small or is there another reason ?
As nvidia is distributing their driver for ubuntu, I guess re-packaging
should not be that difficult as it is already a binary package.

Best regards and thanks again for your work.

-- 
Jérôme Kieffer

PS: I am willing to help in packaging