Any thoughts on the Arduino Due and VGA? Personally I've only used a Parallax Propeller for driving VGA, as it will drive larger screens happily (1024x768 as 64 lines of 128 characters in 8 bit colour for instance). In fact I'd never really considered the Arduino for this, but with faster Arduinos this might become interesting...