Thanks kmihelich! I had forgotten the xf86-video-omapfb.
However I'm still getting both error messages mentioned earlier:
at boot: omapfb omapfb: no driver for display
and when starting X: missing /dev/fb0
I'm running linux-omap-3.1.2-1, which is the current kernel.
Some have indicated a kernel downgrade corrected the missing fb driver issue. I'm trying that now (I have 3.1.1 in /var/cache/pacman)
But it seems this issue goes back to at least Sept, I'm not sure if a downgrade to 3.1.1 is going to be enough.
I've spent quite a bit of time scroogling for this one with very little result. Lack of this issue on other distros leads me to believe that this is another consequence of arch's role as beta tester to the free software world.
The world needs a beta tester, so this is a very valuable service, but it does make life difficult for arch users who need to craft production systems. I'm an embedded systems developer and have been running arch daily since 2003, this has always been an issue. Hopefully the current landslide of arm linux devices being developed, and archlinux's many advantages in deploying small cutting edge systems will help this stability issue get the attention it has always deserved.
But i digress

On the issue of "missing driver" for the fb:
$this->bbcode_second_pass_code('', '[root@beagle johnea]# find /lib/modules/3.1.2-1-ARCH/kernel/ -name "*fb\.*"
/lib/modules/3.1.2-1-ARCH/kernel/drivers/staging/omap3-sgx/services4/3rdparty/dc_omap3430_linux/omaplfb.ko.gz
/lib/modules/3.1.2-1-ARCH/kernel/drivers/video/udlfb.ko.gz
/lib/modules/3.1.2-1-ARCH/kernel/drivers/net/ifb.ko.gz
')
Is omaplfb the kernel framebuffer driver that is missing?
$this->bbcode_second_pass_code('', '[root@beagle johnea]# modprobe omaplfb
FATAL: Error inserting omaplfb (/lib/modules/3.1.2-1-ARCH/kernel/drivers/staging/omap3-sgx/services4/3rdparty/dc_omap3430_linux/omaplfb.ko.gz): No such device')
$this->bbcode_second_pass_code('', '[root@beagle johnea]# dmesg | tail -n 2
[ 4635.661468] omaplfb: module is from the staging directory, the quality is unknown, you have been warned.
[ 4635.666076] omaplfb: OMAPLFB_Init: OMAPLFBInit failed')
from: $this->bbcode_second_pass_code('', 'http://processors.wiki.ti.com/index.php/SGXDbg#SGX_Driver_Failure_Modes_.28Installation.29')
I find this advice:
$this->bbcode_second_pass_code('', '4. If the display driver (omaplfb.ko) does not load, most likely it is because of insufficient memory allocated to the frame buffer for the required resolution and FLIP mode, or there is a real problem with registering the VSync interrupts on the platform. Post it on the E2E forum with the output of the gfx_check.sh script linked in earlier section. ')
Could this be related to vmem parameter specified at boot time?
Thanks again for help on this frame buffer issue...
johnea