HDMI 热插拔似乎在 Raspberry Pi OS 上运行良好（参见这里）。我尝试在我的 RPi3B+ 上使用 Ubuntu Server 20.04 实现相同的功能，方法是将相同的行添加到/boot/firmware/usercfg.txt：
hdmi_force_hotplug=1
hdmi_group=1
hdmi_mode=16
...但似乎不起作用。有没有办法在 Ubuntu Server 20.04 上为 RPi 系列实现热 HDMI 切换？
Ubuntu 服务器 HDMI 可以在 RPi3b 上热插拔吗？