Debian 是一个发行版，内核是 Linux ，userland 组件是五花八门都有。
如果绿联修改了 GPL 的软件源代码并通过硬件搭载分发给了用户，那么他们确实需要提供修改过的源代码（或者提供修改部分的补丁文件）。
但大部分情况下写系统都是用现成的组件，不会去动很多组件源代码的。一个显而易见的理由就是，动了组件源码就必须自己打包，那就意味着自己要花时间维护这个包，上游改动了下游还要重新编译分发。那不如尽量直接用上游的包了，能有其他办法解决的就选其他办法。

就算是 PVE 的内核，本质上是用的 Ubuntu 主线内核改的，在主线内核上加点自己的东西。
https://github.com/proxmox/pve-kernel/tree/master/patches/kernel
全部的更改其实就这么点补丁，也不算太多。

上面说到内核模块闭源的问题。开源内核模块可以访问所有的内核 API ，非开源内核模块只能访问一部分有限的 API ，但只要符合这个条件，就是合法的非开源内核模块。