#ifndef RETARGET_H
#define RETARGET_H

#include <stdint.h>

void Retarget_Init(uint32_t baudrate);
void Retarget_PutChar(char ch);

#endif