 /* restart the Teensy, without invoking bootloader. */
 void restart(void)
 {
-  Serial.print(F("Restarting ..."));
+  Serial.print("Restarting ...");
   delay(500);
   WRITE_RESTART(0x5FA0004);  
 }


const char * xcmd_help(char *answer, char *cmd)
{
  strcpy(answer, (char *) F("\n-----------Interactive Commands-----------------\n"));
  strcat(answer, (char *) F("H;           send help text to console\n"));
  strcat(answer, (char *) F("BH;          boot hard, reload software via USB\n"));
  strcat(answer, (char *) F("BS;          boot soft, restart program\n"));
  strcat(answer, (char *) F("DE;          dump EEPROM\n"));
  strcat(answer, (char *) F("ID;          get device identifier string\n"));
  strcat(answer, (char *) F("MO;          set VFO mode to 'online'\n"));
  strcat(answer, (char *) F("MS;          set VFO mode to 'standby'\n"));
  strcat(answer, (char *) F("MG;          get VFO mode\n"));
  strcat(answer, (char *) F("FSnnnnnnnn;  set frequency to 'nnnnnnnn'\n"));
  strcat(answer, (char *) F("FG;          get frequency\n"));
  strcat(answer, (char *) F("VG;          get battery voltage\n"));
  strcat(answer, (char *) F("------------------------------------------------\n"));
  return answer;
}


void dds_standby(void)
{
#if (DEBUG & DEBUG_DDS)
  Serial.printf("DDS into standby mode.\n");
#endif
  dds_update(0L);
}
