A Linux-Based Video Player Appliance

Our MP4 player box died. It was a little cheapo device that reads video files (mostly ripped from CD) off an SD card or flash drive, then plays them on the TV over HDMI. We've had a couple of them, and they're not great: the user interface is terrible, the playback is sometimes laggy and doesn't always have good audio/video sync. But they're cheap, they do play videos, more or less, and they're…