{ tbuf3, tbuf3, tbuf3, TTYSIZ, 0, TTYSIZ/2 }
};
+static tcflag_t console_mask[4] = {
+ _ISYS,
+ _OSYS,
+ _CSYS,
+ _LSYS
+};
+
+static tcflag_t uart_mask[4] = {
+ _ISYS,
+ /* FIXME: break */
+ _OSYS,
+ /* FIXME CTS/RTS, CSTOPB ? */
+ CSIZE|CBAUD|PARENB|PARODD|_CSYS,
+ _LSYS,
+};
+
+tcflag_t *termios_mask[NUM_DEV_TTY + 1] = {
+ NULL,
+ console_mask,
+ console_mask,
+ uart_mask
+};
+
/* Write to system console */
void kputchar(char c)
{
void tty_interrupt(void)
{
+ /* TODO: carrier change handling */
uint8_t reg = tr1865_status;
if (reg & 0x80) {
reg = tr1865_rxtx;