#ifndef __RTT_LIBC_H__
#define __RTT_LIBC_H__

void libc_system_init(const char* tty_name);
int libc_time_to_tick(const struct timespec *time);

#endif