OLPC XO 1.75 replace one of the 3 usb port with a mini hdmi

[Andrew Puch]

Is the cost and form factor viable to replace one of the external usb
ports with a mini hdmi Type C or D port ? 

When students or teacher give talks it would be nice for them to show to
the class on the tv what they are doing.
 
The type hdmi 1.4 , D connector is 2.8 mm × 6.4 mm, where as the hdmi
1.3 type C connector is 2.42 mm × 10.42 mm; for comparison, a micro-USB
connector is 2.94 mm × 7.8 mm and usb a is 11.5 mm × 4.5 mm.

http://en.wikipedia.org/wiki/HDMI#Connectors


Looks like the  ARMADA 610 has support for hdmi 1.3   
http://www.slashgear.com/marvell-armada-610-app-processor-1080p-hdmi-3d-graphics-more-0567682/

Also I hope there is a give1get1 one for this machine along with a nice
touch screen :) 

Maybe a usb header on the motherboard, along with pcie mini card a boy
can dream.