/* Cleans up the LED blink driver. This is intended to be used upon program exit.  */
void LedBlinkExit(void)
/* Cleans up the LED blink driver. This is intended to be used upon program exit.  */
void LedBlinkExit(void)
{
  HAL_GPIO_WritePin(GPIOB, GPIO_PIN_7, GPIO_PIN_RESET);
}