You further could try editing the Guix configuration file in the installer to get another kernel such as:
(use-package-modules linux) (operating-system … (kernel linux-libre-4.19) …) Further, I believe there are other X200 users, but I cannot find the thread on yhetil.org. Is it perhaps necessary to upgrade the BIOS first? Regards, Florian
