diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2019-12-03 14:32:26 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-12-03 18:48:14 +0100 |
| commit | cbfd9102502f23fb418bddc14fbcf58d737940a1 (patch) | |
| tree | 72ebedac3bf55db0001ffc8392ff5802e634e83b /executor/executor_bsd.h | |
| parent | d20ee9bd98f1a0e98c2d02da825acf3628562e8d (diff) | |
sys/linux: more tuning of tty devices
Enable /dev/tty{1-6}. These seem to be special.
Few first connected to framebuffers. But the rest
seem to be different from e.g. tty20 anyway.
Also /dev/tty is different from the rest.
/dev/ttyS3 and /dev/ttyprintk are different.
Properly pair BSD pty terminals.
Diffstat (limited to 'executor/executor_bsd.h')
0 files changed, 0 insertions, 0 deletions