Thanks for the reply.
1) I have looked at the release notes. I've tried a quite a few combinations so far:
video=mxcfb0:dev=hdmi,1920x1080M@60,if=RGB24
video=mxcfb0:dev=hdmi,2560x1600M@60,if=RGB24
as examples. I've tried this with just the one video and with two video entries (the other for mxcfb1). I consistently have the same output.
Sometimes when I boot, the kernel output ends with this:
i mxc_hdmi: same edid
Note that I think two characters are cut off the front of this line, conssistent with the video problem I'm talking about.
2) There's the problem with video output but I'm also not getting any interactive prompt. Am I right to assume the Ubuntu distro is supposed to dump you into a GUI environment with a login? Is there supposed to be a login prompt on the text console?
3) The kernel does not appear to make use of the FTDI serial port. It would be nice if this port was enabled by the kernel and a login prompt presented.
Thanks,
FM