Do you have any experience with arduino or raspberry Pi? I dabled with arduino in college but I'm not sure it's strong enough for processing HDMI video.I'm actually going to make a project for my grade 12 class using the arduino boards and an led matrix display.