Hi,
I own a PandaBoard with OMAP 4430 processor and have unavailingly tried to build L4Android for it. As basis I take the latest l4re_snapshot 2012081219. L4Re and Fiasco kernel itself are running, the provided Hello World example shows no problems. I already realized that I'll need a correct .dev config file specific to my platform, when creating the .uimage file for U-Boot. Unfortunately, an omap4.dev or panda.dev configuration file does not exist at the moment. So, I'd like to ask, if someone already adapted a .dev file to the PandaBoard and can provide me with some information or even may share his configuration with me or the public. Thank you very much in advance for your help.
Sebastian
l4-hackers@os.inf.tu-dresden.de