Hdmi installation



They can use that if it's an integrated chipset but if it's a standalone option it's best to go through the configuration program.