Make number of tty devices configurable