HDMI does not work, USB C does not seem to work via an HPE docking station (I do get Ethernet though).