@abcdw congratulation. I just got my first Guix install to work on my "new" ThinkPad x280 as I was unable to get rde installed directly.