Hi nightowl,
please always keep the mailing list copied in your replies. > I have since reinstalled guixsd 0.16.0 on my machine Since Guix is stateless, reinstallation is rarely ever useful. Did the behaviour change in the new installation? > but when I run Trisquel 8 from a thumb drive, it reports: > > 4.4.0-119-generic kernel. Guix provides a similar version of Linux libre. You can select it by adding “(kernel linux-libre-4.4)” to your operating system configuration file. You may also need to add “linux” to the “use-package-modules” clause near the top. -- Ricardo
