Comment by thomastjeffery

I haven't really given GUIX an honest try yet. So far, I've been content to use NixOS. I would definitely recommend either, so long as you are patient enough to learn their unique idiosyncracies.

GUIX does claim very broad compatibility, particularly with kernels. You can even use HURD instead of Linux if you really want to.

On the other hand, the GUIX project is ideologically opposed to proprietary software, so you won't find much help in that arena.