Is there a naming convention for ttys that distinguishes physical serial ports from consoles and virtual stuff? E.g., are /dev/tty[A-Z]* for physical serial ports and other /dev/tty* for other stuff?