Any displayport source can (per standard) deliver HDMI, you just need a dp->hdmi adapter or cable.

The other way around is harder to achieve but works, too (needs an active adapter to convert the signal).