[memsom]

When drivers are based on GPL code then you do not release the changes, but sell the resulting drivers as part of your OS. That was what I was told.