On Wed, Nov 7, 2012 at 3:55 AM, Peter Robinson <pbrobinson@gmail.com> wrote:

What does xrandr report the display supports. You should be able to
set it from there.

I would honestly look at the F18 alpha release, I think you might do
better there.

Thanks for the suggestion. Will try F18 next.

I´m new with ARM embedded boards. I guess my question could be rephrased as "is there anything like a BIOS in the Pandaboard where the default mode at boot for its HDMI port could be set?".

I mean... like on some notebooks or netbooks you could go into the bios and select vga output, internal LCD, or both. That was stored on CMOS memory. On embedded ARM boards is there such a nonvolatile memory space to store default video settings at init time before OS loads?