omap4.dev config file for PandaBoard

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