#ifndef __RTT_LIBC_H__
#define __RTT_LIBC_H__

void libc_system_init(const char* tty_name);

#endif