[rando3826]

No, no, no. "library" is completely different than "mere aggregation."

https://www.gnu.org/licenses/gpl-faq.html#IfLibraryIsGPL:

"If a library is released under the GPL (not the LGPL), does that mean that any software which uses it has to be under the GPL or a GPL-compatible license?

    Yes, because the software as it is actually run includes the library."

[tobias3]

I agree with you that it is clear in this case.

But they are arguing that the API they added makes the proprietary vmkernel a separate work and the distribution with vmklinux a "mere aggregation", no?