The orig PhD thesis paper is what you want http://www.st.ewi.tudelft.nl/~dolstra/pubs/phd-thesis.pdf http://www.st.ewi.tudelft.nl/~dolstra/pubs/phd-thesis.pdf

The orig PhD thesis paper is what you want http://www.st.ewi.tudelft.nl/~dolstra/pubs/phd-thesis.pdf http://www.st.ewi.tudelft.nl/~dolstra/pubs/phd-thesis.pdf 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_talk.html http://dustycloud.org/misc/talks/guix/chicagolug_2015/guix_t...