# insmod /lib/modules/3.5.2-3.fc17.armv7hl.omap/kernel/drivers/staging/omapdrm/omapdrm.ko Error: could not insert module /lib/modules/3.5.2-3.fc17.armv7hl.omap/kernel/drivers/staging/omapdrm/omapdrm.ko: Unknown symbol in module
you should just do "modprobe omapdrm" not insmod the .ko as it takes care of its deps.
That worked, the omapdrm module loaded with modprobe. Unfortunately that does not cause the HDMI video to suddenly start working. Also, the path in sysfs was not present after loading the module:
/sys/devices/platform/omapdrm.0
do a lsinitrd on the initramfs file in /boot and make sure that it has the omapdrm module in it.
Yes, the initrd has the omapdrm module.