IMHO, and IANAL, my interpretation for the binary module is that:
The obvious thing for radio driver writers is to go the ndiswrapper/nVidia route, and write their own wrappers, which live on a borderline license (allowing both mixing with GPL and mixing with binary modules), and have to be recompiled when installing a new kernel. It is not allowed to distribute them in any other form as the "mere aggregate", where the user initiates the compilation and module insertion.
It is obvious that any sort of modular interface can allow the insertion of proprietary parts without shipping linked or linkable modules. Remember that the GCC team refused to add a RTL-based intermediate format for exactly that reason: a proprietary backend (or frontend) could use this RTL output to generate code, and thereby bypass the GPL for this part of the compiler (basically using GCC as front-end, and having a proprietary backend. Having a proprietary front end is far easier, you can emit C code ;-).
Copyright © 2017, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds