I’ve done a bit of research in this area. eDP does not require compatibility to HDMI. That makes sense, since the idea behind eDP is to support connecting a display inside a tablet/smartphone, so they’re usually not user-accessible. For example, there’s a super-cheap 10" eDP-using screen with 2048x1536 resolution available that is used in the iPad. I guess LVDS doesn’t cut it for those resolutions any more.
There is an extension to the standard for DisplayPort for allowing easy adapters to HDMI called Dual-mode DisplayPort. This is implemented in all of the desktop/notebook interfaces, but I’ve found no hint of that in the documentation for the Jetson.
If you want to connect an HDMI display, the easiest way I’ve found is to use one of the LVDS-to-DVI adapters available. A good contender is the LVDS-DVI-R10. However, I’m not sure whether it is compatible (it’s designed for a different board). You would also need an adapter for the connector. Also, it’s only single-channel, so the best resolution you’re going to get is 1366x768. In addition to that, there’s the uncertainty whether the LVDS actually works.
Alternatively, you could create a board that can convert eDP to HDMI via an FPGA, but that’s far beyond my level of expertise. There’s also the PS171 that does just that, but you’d have to create a board for it (which would make sense anyways, since you could use the right pinout for that), and I couldn’t find a low-volume source. Same goes for the STDP2650 (but STM might be much easier to get).
I’d really like to have someone with more knowledge than me experiment with that :)