static LS linux_possibleExternalMonitorNames() {
  ret ll("HDMI-0", "VGA1");
}