Hola lista, He seguido los pasos para instalar Debian descritos en: https://wiki.debian.org/RaspberryPi4#Using_EFI_Firmware_and_the_regular_Debian_Installer
Y todo ha ido bien, excepto que no tengo puedo usar la GPU para ver vídeos con mpv y tampoco tengo sonido. Me interesa esto último, ¿alguien lo ha conseguido? Saludos.