Seems reasonable and on theme. What do you want to do with the emulate_udev directory? It doesn't even look like it is built..
I think we can safely drop it. It's been there forever and never been used AFAIK. Bart? -- To unsubscribe from this list: send the line "unsubscribe linux-rdma" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html