Hi Julian,
1)
[quote]
0.896728] console [ttyO0] enabled
[ 0.900970] omap_uart.1: ttyO1 at MMIO 0x48022000 (irq = 73) is a OMAP UART1
[ 0.908813] omap_uart.2: ttyO2 at MMIO 0x48024000 (irq = 74) is a OMAP UART2
[ 0.916595] omap_uart.3: ttyO3 at MMIO 0x481a6000 (irq = 44) is a OMAP UART3
[ 0.924346] omap_uart.4: ttyO4 at MMIO 0x481a8000 (irq = 45) is a OMAP UART4
[ 0.932128] omap_uart.5: ttyO5 at MMIO 0x481aa000 (irq = 46) is a OMAP UART5
[ 0.940399] omap4_rng omap4_rng: OMAP4 Random Number Generator ver. 2.00
[/quote]
I am able to see the UART driver registrations.
[quote]
messages that UART1 is tty01, UART 2 tty02, and so on.
[/quote]
Please check one more time that you are using ttyO1 and not tty01
that is O (OMAP) and not 0 (zer0)
2) Try to initiate "udev start" at /etc/initd.d/udev