On Sat, Mar 03, 2018 at 05:14:32PM +0100, Pierre Neidhardt wrote:
> My host system is Void Linux (which I don't know so well).
> Permissions for /dev/kvm seem to be correct:
> 
> 	> ls -l /dev/kvm
> 	crw-rw----   1 root           kvm             0 2018-03-03 14:56 /dev/kvm
> 
> My user is part of the kvm group.  Also the module seems to be loaded fine:
> 
> 	> lsmod | grep kvm
> 	kvm_intel             225280  0
> 	kvm                   630784  1 kvm_intel
> 	irqbypass              16384  1 kvm
> 
> Not sure what's wrong.  I am not very familiar with QEMU / KVM I'm afraid...
> Any clue?
> 
> Besides, and maybe unrelated, some certificates seem to be missing.  Any
> idea how that could happen?

Did you try adding the guixbuild users to the KVM group?

https://www.gnu.org/software/guix/manual/html_node/Build-Environment-Setup.html