I use GuixSD, just because it's init system is in Scheme(guile) and the declarative syntax of system config and pkg definitions seem more straight forward to me and I prefer free software. You can easily run a GuixSD system with a mainline kernel if you want proprietary firmware blobs but so far I haven't had any issues with the default Libre kernel. There's a GuixSD presentation here http://dustycloud.org/misc/talks/guix/chicagolug_2015/guix_t...