smile 
I have 2 exynos4412 boards. One is odroid, the other is tiny4412. I only use linux, not android. I tested two boards for hdmi and I usually use QT on frame buffer without X windows. Odroid board can display to hmdi, but, tiny4412 can't. Do you have any plan to support hdmi for just linux?
