One of the key strengths of the Linux kernel is that it is licensed under the GNU General Public License (GNU GPL), an open source license which