Subject: 10th serial port
To: None <tech-kern@netbsd.org>
From: Michael Richardson <mcr@solidum.com>
List: tech-kern
Date: 06/14/2000 22:35:38 
  Should the 10th serial port be called /dev/tty10, or /dev/tty010?
  "sh MAKEDEV tty10" makes the latter.