E olha aí as novidades desenvolvidas pro Raspberry Pi (inclusive pela turma do Chrome OS) pra ampliar os recursos de vídeo dele se encaminhando pra chegar ao kernel Linux: https://www.phoronix.com/news/Raspberry-Pi-HDMI-Linux-6.5
