Package: linux-image-amd64 Version: 5.0.0-trunk Severity: important Hi, Can the VMware Paravirtual RDMA driver be enabled by default in the next Debian release? The config option is CONFIG_INFINIBAND_VMWARE_PVRDMA=m. This would allow Debian VMs to be deployed easily for virtual RDMA use. Thanks, Adit