Guix,

‘guix system init’ fails for me in the following way on the 
following version:

  $ guix describe
  Generation 4    Apr 08 2019 23:29:08    (current)                                 
  guix 2afb793                                                                    
    repository URL: https://git.savannah.gnu.org/git/guix.git                     
    branch: master                                                                
    commit: 2afb79392d39df05e5b285ea46dd59eafb0616d8                              

I'd attach the system configuration, but it's basically the one 
from guix-maintenance/hydra/overdrive.scm.  There's nothing custom 
about the kernel.

Kind regards,

T G-R

--- 8< ---

In file included from 
/gnu/store/im7irb1qnmvwypz53dxv5i75wy94dcz5-glibc-2.28/inc
lude/stdint.h:34:0,
                 from 
                 /gnu/store/7ykq1909hf7jgkvqcxdz7r0dglnbx005-gcc-7.4.0-lib/
lib/gcc/aarch64-unknown-linux-gnu/7.4.0/include/arm_neon.h:33,
In file included from 
/gnu/store/im7irb1qnmvwypz53dxv5i75wy94dcz5-glibc-2.28/inc
lude/stdint.h:34:0,
                 from 
                 /gnu/store/7ykq1909hf7jgkvqcxdz7r0dglnbx005-gcc-7.4.0-lib/ 
h:27:19: error: conflicting types for 'int64_t'                                   
 typedef __int64_t int64_t;                                                       
                   ^~~~~~~                                                        
In file included from ./include/linux/list.h:5:0,                                 
                 from ./include/linux/module.h:9,                                 
                 from arch/arm64/lib/xor-neon.c:13:                               
./include/linux/types.h:114:15: note: previous declaration of 
'int64_t' was here  
 typedef s64   int64_t;                                                           
               ^~~~~~~                                                            
lude/stdint.h:37:0,                                                               
lib/gcc/aarch64-unknown-linux-gnu/7.4.0/include/arm_neon.h:33,                    
                 from 
                 ./arch/arm64/include/asm/neon-intrinsics.h:36,              
                 from arch/arm64/lib/xor-neon.c:14:                               
.h:27:20: error: conflicting types for 'uint64_t'                                 
 typedef __uint64_t uint64_t;                                                     
                    ^~~~~~~~                                                      
In file included from ./include/linux/list.h:5:0,                                 
                 from ./include/linux/module.h:9,                                 
                 from arch/arm64/lib/xor-neon.c:13:                               
e                                                                                 
 typedef u64   uint64_t;                                                          
               ^~~~~~~~                                                           
make[1]: *** [scripts/Makefile.build:283: 
arch/arm64/lib/xor-neon.o] Error 1      
make: *** [Makefile:1066: arch/arm64/lib] Error 2                                 
make: *** Waiting for unfinished jobs....