/* Send an ASCII string to GDB. This function must be able to run in interrupt context. */
VOID GdbPutString(IN CHAR8 *String)
/* Send an ASCII string to GDB. This function must be able to run in interrupt context. */
VOID GdbPutString(IN CHAR8 *String)
{
  while (*String != '\0') {
    GdbPutChar (*String);
    String++;
  }
}