Как определить какое имя будет у tty?

В общем возможно глупый вопрос. Но есть ядро надо запустить его на железке. В параметрах ядра обычно указывают имя консоли, ну например ttyPSC0, но бывают и другие варианты ttyS0 и т.д. Как узнать какой именно вариант в моем случае. Я так понимаю это зависит от драйвера? Но как это посмотреть?