On Thu, Feb 15, 2018 at 12:04:04PM +0100, Danny Milosavljevic wrote: > So I suspect that Ricardo has a Linux >= 4.5 but Andreas and Hydra > have a Linux < 4.5. Is that correct?
Strangely not. I am running Guix on Debian with a kernel 4.9.0-5-amd64. Andreas