config file for PandaBoard

sebastian.eckl at sebastian.eckl at
Wed Sep 19 11:53:56 CEST 2012


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 or 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.


More information about the l4-hackers mailing list