support for Omap3530

[Guillaume Ballet]

> Hi,
> do you have a kernel configuration ? Which loader do you use ? Do you
> boot from SD ? I'm at the point to learn nanobsd to generate a boot
> image. I hope the board will boot it with u-boot from SD.

I am indeed booting from the SD card with u-boot, and then with a
simplistic custom loader. I plan on porting loader(8) but the kernel
is too time consuming for the moment. I remember reading some slides
by Rafal Jaworowski on how to have u-boot run loader(8), but I didn't
have the time yet to investigate if this went further. Once the
capability exists, I guess it is fairly easy to tell loader(8) to
fetch the kernel on a FAT partition. It would save me a lot of typing
for sure :P

Regarding the kernel configuration, I am not at a stage where the
kernel finishes booting, so it won't be of much use to you at the
moment. I will keep you posted when I manage to the end of the kernel
init.

Guillaume