Capturar HDMI é possível, mas requer hardware dedicado chamado digitalizador ou dispositivo de captura de vídeo. Não funcionará com uma saída HDMI . Não funcionará com um Raspberry Pi, a menos que você adicione este hardware.
Dito isto, o Pi tem uma porta USB e você pode facilmente encontrar um HDMI to USB video capture dongle baseado em USB. ( Google )
Certifique-se de que qualquer dispositivo para comprar possa funcionar com USB2 (problemas de energia e largura de banda!) e que haja suporte de driver para ele.
Continuação da nota de Keltari sobre captura em resolução completa:
O HDMI 1.0 define até 3,96 Gbit / s de largura de banda de vídeo (1080p / 60 Hz ou UXGA) e 8 canais LPCM / 192 kHz / áudio de 24 bits. (Fonte: Wikipedia )
Compare isso com a largura de banda máxima teórica do USB2. qual é 480mbit / sec.
Mesmo com a compactação inteligente no seu digitalizador, é provável que você tenha problemas, a menos que realmente diminua a resolução. E para piorar as coisas, o modelo rPi B + (e eu acho que também outros modelos Pi) tem apenas uma porta USB. No meu B + essa porta única (e sua largura de banda) é alimentada a um chip que a transforma em 4x USB e Ethernet. Mas a capacidade máxima ainda é limitada. Se você gravar em um disco rígido USB externo (provavelmente porque é improvável que as gravações se encaixem no cartão SD), será necessário compartilhar essa largura de banda.