> I mention this because vendor drivers, while not open source, are free and legal > to use and redistribute. That depends if they are derivative works of a GPL work such as the kernel.