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 necessar

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.