[05:56] <theshagg> Is there a good reason vfio is a builtin driver and not a kernel module? See: https://www.reddit.com/r/VFIO/comments/g8vdd3/vfio_broke_on_ubuntu_2004_upgrade/
[05:58] <theshagg> Also, is there an easy way to try a different kernel with 20.04? I'm trying to troubleshoot amdgpu kernel issues.