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. File format options are available in the record ...

The compact device plugs into your TV's HDMI port and lets you access ... To get started you'll need the Google TV dongle or ...