This is a Linux kernel which is entirely free. And they’re launching their 7.3 version for those who want a completely open source kernel on their system