Meu laptop é uma máquina normal e desinteressante com duas GPUs padrão não multiplexadas e uma instalação comum do Debian. A GPU secundária (uma Radeon) geralmente é desligada, mas posso ativá-la e usá-la (por exemplo) DRI_PRIME=1 glxgears. O arquivo fonte do Mesa src/loader/loader.c o gerencia.
Está DRI_PRIMEindocumentado?
Desejo ler a documentação, mas não consigo encontrá-la. Curiosamente, não está aqui. Além disso, o Google não pode localizá-lo. Se você souber onde está a documentação, você diria?
Alternar GPUs é uma função de sistema bastante importante. Alguém poderia pensar que o mecanismo que faz isso seria completamente documentado, mas tudo o que posso encontrar são algumas entradas oblíquas do changelog e algumas tradições online como esta.
INFORMAÇÃO ADICIONAL
Você não precisará do Debian para responder à minha pergunta. Qualquer Linux deve fazer.
Caso um leitor que deseja começar a aprender sobre comutação de GPU tropeçar aqui, ele pode tentar sudo cat /sys/kernel/debug/vgaswitcheroo/switchler html/newstyle/gpu/vga-switcheroo.html na fonte do kernel Linux. Também, man 8 lspci. Levei duas horas para descobrir isso, então menciono aqui para economizar tempo do leitor.
Enquanto isso, onde está a documentação adequada das variáveis de ambiente do Mesa como DRI_PRIME, por favor?
Eu escrevi algumas notas em https://robots.org.uk/LinuxMultiGPUDeviceSelection - elas não estão completas, mas podem ser usadas como base para uma resposta mais completa se alguém quiser escrever uma. :)