Разобраться надо бы как файлы с SD карты загружаются... Вопрос по композитному выходу не отпал.
Вроде образы из FLASH (AT45DB081D) грузит PicoBlaze. Может вместо него поставить более для нас понятный x80cpu_core@50MHz с Dual Port RAM 8K в роли кеш, программу только придется переписать.
Композитный то зачем? Чем не устраивает VGA + OSD?