The Android box was able to record video from the HDMI input with pre-installed software found in the main menu as [danman] explains on his blog.

This project provides a Textview-like control which allows you to set max number of lines to wrap an input string, then ellipsizes the last line if there's not enough room to handle the entire input ...