Media Encode

The 4Kopen image that we provide comes with various GStreamer components, as well as a suite of STiH418 drivers and firmware.

This means that it should be possible to encode media to a file (for example using the HDMI Rx port).