Original: Copyright and naming The Linux kernel and most GNU software are licensed under the GNU General Public License (GPL).
Simplified: Licensing, trademark, and naming The Linux kernel and most GNU software are licensed under the GNU General Public License (GPL).