Michael> One problem: infiniband/driver.h includes
Michael> infiniband/kern-abi.h, which is not installed.
Thanks, I've updated Makefile.am to fix this (and opcode.h). I've
been building without using "make install", so I didn't notice this.
- R.