I added the UARTlite IP to my zedboard design and routed the IO through JA PMOD pins. I successfully exported the design to XSDK, built the FSBL, rebuilt the kernel with UARTlite support, and boot into Linaro Ubuntu. I'm using the FMCOMMS2/3 reference design from ADI.
I basically followed the procedure outlined here, except I only have a single UARTlite:
http://www.wiki.xilinx.com/Uartlite+Driver
I'm not seeing any uartlite device at /dev/ttyULx as per the URL.
I examine the contents of /proc/config.gz and the configuration appears to be set for the UARTLITE kernel driver:
root@linaro-ubuntu-desktop:/home/analog# cat config | grep UARTLITE
CONFIG_SERIAL_UARTLITE=y
# CONFIG_SERIAL_UARTLITE_CONSOLE is not set
What could be the issue?