Vincent Legoll Sat, 16 Jul 2016 06:49:43 -0700
I've seen in gnu/packages/linux.scm that the default configs are in gnu/packages/linux-libre-*.conf
-- Vincent Legoll