Switching to mainline is almost trivial, just override plain linux-libre kernel and redefine the source. GuixSD is getting production-ready IMHO. See for examp

Switching to mainline is almost trivial, just override plain linux-libre kernel and redefine the source. GuixSD is getting production-ready IMHO. See for example Guix getting adopted by some HPCs: https://guix-hpc.bordeaux.inria.fr/ https://guix-hpc.bordeaux.inria.fr/