# cat /etc/os-release NAME="Ubuntu" VERSION="16.04 LTS (Xenial Xerus)"This has the initrd problem I mentioned.
Well, I guess I'll keep the local workaround then... -- 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
