You can buy a very cheap displayport HDMI adapter; we have a chromebox connected to our television. Although we're currently having a problem with overscan. (The displayport-hdmi connection also seems to flake out when the TV is not connected to it...)