How did you guys get Mali working on the Vero2 board?

Thanks Sam. Can I safely assume from your answer and the fact that Amlogic (the company behind the Vero2 chipset) thrives at providing open source drivers makes it so that the entire video stack is functional (obviously, yes) and open source under Linux?