Morning Guix, I'm unable to ‘guix pull’ because of this bug. Log attached. Here are my kernel options from kitzman's list: not set CONFIG_UID16 (obsolete) y CONFIG_EXPERT y CONFIG_X86_64 (obvs) y CONFIG_X86 not set CONFIG_X86_X32 not set CONFIG_X86_VSYSCALL_EMULATION y CONFIG_LEGACY_VSYSCALL_NONE y CONFIG_IA32_EMULATION Seems like Carl, kitzman, & I have in common: not set CONFIG_UID16 (obsolete) y CONFIG_X86_64 (obvs) y CONFIG_X86 not set CONFIG_X86_X32 y CONFIG_LEGACY_VSYSCALL_NONE y CONFIG_IA32_EMULATION My diff from linux-libre, which sure seems to tell a story: y -> not set CONFIG_UID16 (obsolete) y -> not set CONFIG_X86_X32 y -> not set CONFIG_X86_VSYSCALL_EMULATION Kind regards, T G-R