На TI DaVinci это супер просто.
Видеодрайвер и видеобэкэнд поддерживают несколько оверлеев.
Вы будете транслировать видео на самую низкую поверхность видео, рисовать на оверлейной поверхности (в аппаратном обеспечении поддерживается 3 бита альфа-смешения) и делать следующее: видеовыход будет содержать источник видео и ваше наложение. 1005 *
Я не знаю, поддерживается ли захват видеосигнала с HDMI. Композитный наверняка есть ..
Кстати: если вы ищете графический API с производительностью, взгляните на этот продукт:
http://www.tesbv.com/index.php?option=com_content&task=view&id=42&Itemid=94
Я написал основные графические процедуры для него, и я знаю, что он уносит DirectFB из воды ..