162
DisplayPort 2.1b Arriving This Spring With DP80LL Cables
(www.phoronix.com)
This is a most excellent place for technology news and articles.
Any displayport source can (per DP standard) deliver HDMI, you just need a dp->hdmi adapter or cable. An explanatory article from 2008 translated via google.
The other way around is harder to achieve but works, too (needs an active adapter to convert the signal).