Well I hate for my first post to be a dump, but such is life. I
downloaded Fedora 18 from
I have run Fedora 17 on the board, so I know how to correctly write the
image to the sd card.
This is all the output I have to the serial port after booting: