You are correct. I picked this example under the general assumption that the Windows driver would be closed-source, but you are correct that it doesn't necessarily have to be closed source.

The problem goes with the license, not with the OS.