Rockchip RK3566 Ubuntu 20.04 mini PC offers HDMI and VGA video outputs - CNX Software
Ubuntu Bionic 18.04.3 LTS for i.MX6/7 boards – August 2019 (kernel 4.14.x) - Boundary Devices
Fix No Sound Through HDMI In External Monitor In Ubuntu Linux
hdmi output doesnt work in ubuntu 18.04 - Linux - NVIDIA Developer Forums
Installed Openbox in POP_OS (A little edited Ubuntu 18.04), didn't get access to the laptop screen, only external monitor, and extremely laggy. Menus coming over desktop by right-click menu also never disappear.
audio - I can't use sound through HDMI in Ubuntu - Super User
Install Ubuntu 18.04 with Lambda Stack from scratch - Technical Help - DeepTalk - Deep Learning Community
Ubuntu: HDMI port not detected on Ubuntu 18.04 - YouTube
REVIEW: MINIX NEO Z83-4U with Ubuntu 18.04 LTS installed