Though I have yet to try Guix, I think I’d move over to it if they adopted something similar to flake support. The idea that it uses a non-arbitrary language for declaration is very appealing to me. Do you know if it’s simple enough to get non-free kernels, though?