Resposta parcial:
how does Linux decide which video output will be used when creating a framebuffer device?
"Linux" não, depende do driver. Portanto, o primeiro passo é examinar dmesg
e / ou lsmod
e descobrir qual driver é carregado. O próximo passo é encontrar o código-fonte para o driver, lê-lo e descobrir quais opções ele entende. /dev/hdmi0
é um nome bastante incomum para um dispositivo de framebuffer, embora pareça que alguns drivers sunxi usam isso. Você tentou escrever algo nele (com dd
ou um pequeno programa em C)? Ela se comporta como um framebuffer?
Portanto, edite a pergunta com a parte relevante de dmesg
ou edite-a com um link para o dmesg
completo após a inicialização em um pastebin, etc.
how do I configure it to do what I want
Veja acima: depende completamente do driver. Por exemplo, o driver do Intel framebuffer não permite que você mude para HDMI (ou não, da última vez que eu olhei).