Userspace components for the Linux Kernel's drivers/infiniband subsystem
