Hi Mathieu! This is still failing, see . > Yes, I reconfigured them yesterday Could it be that the services qemu-binfmt and guix-daemon still need to be restarted? Bye Stefan