I thought their argument was that some non-trivial amount of code in their driver is licensed somehow and they're thus not free to open source it. It sharing co

I thought their argument was that some non-trivial amount of code in their driver is licensed somehow and they're thus not free to open source it. It sharing code with the Windows driver is the explanation for how that code got into the Linux driver to begin with.