/* Writes a single character to the VFD display.  */
void samsungvfdWrite(uint8_t value)
/* Writes a single character to the VFD display.  */
void samsungvfdWrite(uint8_t value)
{
  gpioSetValue(SAMSUNGVFD_STB_PORT, SAMSUNGVFD_STB_PIN, 0);
  samsungvfd_sendByte(SAMSUNGVFD_SPIDATA);
  samsungvfd_sendByte(value);
  gpioSetValue(SAMSUNGVFD_STB_PORT, SAMSUNGVFD_STB_PIN, 1);
}