the guix system fits under the gnu umbrella and uses the linux-libre kernel

   https://guix.gnu.org/en/about/