Please beware, AJA won’t give you any Linux driver if you won’t be reselling 100+ boards a month or so.
Linux is still a niche market, and if you have a product that isn’t very mainstream, AJA won’t give you any driver (I don’t know why, in my case they will going to sell more boards, not 100 but maybe 20 a year…). Any hope for a Unix solution is either a BlueFish444 board, a DVS board (if you don’t have a bit overlapping product) or MacOS X right now.
Dektec is an alternative but really not that great since it doesn’t have genlock.
-Yves