Fortunately, only the copyright holders (i.e. the people who have contributed code to Linux) could sue for GPL licence violation, so we can hope it's not in the

Fortunately, only the copyright holders (i.e. the people who have contributed code to Linux) could sue for GPL licence violation, so we can hope it's not in the interest of the Linux developers to stop all distribution of Linux...