#include <oskit/dev/tty.h>
const oskit_iid_t oskit_ttydev_iid = OSKIT_TTYDEV_IID;