> So there's some code in the kernel, that's not GPLv2, but is clearly marked as such. It's in a separate folder...
When lxoliva started working on linux-libre, it *wasn't* marked as such. It was scattered all about the kernel tree sometimes in separate files, sometimes mixed in with the main driver, etc.
> ...with a separate warning that says they have separate permission to distribute those things with the Linux source.
Except there are many cases where they *don't* have permission to distribute them. See linux-2.6/firmware/WHENCE