Sony KDL-40EX600: what AVCHD files are supported for playback from the USB port?

[nyavin]

I have tested video play back with .avi (divx) that worked for SD only (not HD)

It's reported that AVCHD playback is also possible.

how do I place files on a disk-on-key such that will play properly?