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