#include "peripherals.h"



size_t tx_counter = 0;

tx_state_t tx_state = IDLE;
unsigned char tx_data;