Capturing HDMI output from a pandaboard running Android 4.0