Edison Argus Supported Video Codecs

Could someone tell me what file extension I should use, so I could play videos from USB through my Edison box to my TV.

Thank you in advance!