I am considering registering a scientific simulation software project
on savannah.nongnu.org, which in comparison to other public git
hosting facilities seems to be the best match, with web space for a
project homepage, mailing list, and project hosting software under a
The simulation package is licensed under the GPL. The program contains
a simulation backend that uses GPGPU for acceleration, which is compiled
with the NVIDIA CUDA compiler and links against the non-free CUDA
libraries (CUDA driver and CUDA runtime).
The GPL v3 includes an exception clause that allows linking to non-GPL
"System Libraries", e.g. libraries accompanying the compiler. It would
seem that the CUDA libraries fulfill the definition of "System Libraries"
and thus fall under the exception clause.
Would a FLOSS project using CUDA be accepted on savannah.nongnu.org?