#include #include #include int tty_read(tty_t *tty, char *s, unsigned long len) { return 0; } int tty_write(tty_t *tty, const char *s, unsigned long len) { return 0; }