O Raspberry Pi 3 pode fazer vídeos em 4K?

Parece que o Raspberry Pi 3 pode ser poderoso o suficiente para produzir vídeo em 4K, mas não vi nada sobre isso em nenhum lugar.

Alguém sabe se o Raspberry Pi 3 pode produzir vídeo através de HDMI com resolução 4K? Se sim, é 30Hz ou 60Hz?

A melhor informação que posso encontrar sugere que é possível produzir resoluções de 4K, mas com taxas de quadros razoavelmente miseráveis. O Pi 3 tem a mesma GPU que o Pi 2, portanto, as informações ainda devem ser válidas:

Fonte: https://www.raspberrypi.org/forums/viewtopic.php?f=38&t=79330

Eu consegui obter 3840 x 2160 (4k x 2k) a 15Hz em um Seiki E50UY04 trabalhando em duas distribuições no Raspberry Pi ... (Wheezy / Openelec mais recente). A televisão mostra que está recebendo esta resolução e nível de hertz, e parece muito nítida.

Este é o meu config.txt para o wheezy:

# uncomment if you get no picture on HDMI for a default "safe" mode
#hdmi_safe=1

# uncomment this if your display has a black border of unused pixels visible
# and your display can output without overscan
disable_overscan=1

# uncomment the following to adjust overscan. Use positive numbers if console
# goes off screen, and negative if there is too much border
overscan_left=-150
overscan_right=-150
#overscan_top=16
#overscan_bottom=16

# uncomment to force a console size. By default it will be display's size minus
# overscan.
#framebuffer_width=3840
#framebuffer_height=2160

# uncomment if hdmi display is not detected and composite is being output
#hdmi_force_hotplug=1

# uncomment to force a specific HDMI mode (this will force VGA)
hdmi_group=2
hdmi_mode=87

# uncomment to force a HDMI mode rather than DVI. This can make audio work in
# DMT (computer monitor) modes
#hdmi_drive=2

# uncomment to increase signal to HDMI, if you have interference, blanking, or
# no display
#config_hdmi_boost=4

# uncomment for composite PAL
#sdtv_mode=2

#uncomment to overclock the arm. 700 MHz is the default.
#arm_freq=800

# for more options see http://elinux.org/RPi_config.txt
hdmi_ignore_edid=0xa5000080
hdmi_cvt 3840 2160 15

Experimente o Chromecast 4k, você pode transmitir do RPi para o Chromecast.