Arnd Bergmann <arnd at arndb.de> wrote: > Not sure who would be the best person to pick this patch up. I can pick it up, but I wonder if the MPI asm bits should be distributed to asm/mpilib.h headers rather than being in the lib/ directory. David