@Suiseiseki the Linux kernel is not proprietary, it is licensed under the GPL open source licence @libreoffice