[05:56] 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] Also, is there an easy way to try a different kernel with 20.04? I'm trying to troubleshoot amdgpu kernel issues. === dax is now known as housecat === theloudspeaker_ is now known as The_LoudSpeaker === Xard_ is now known as Xard