Is anyone has experience with pandaboard omap4460?

Norman Feske norman.feske at
Sun Dec 28 17:06:09 CET 2014


On 12/26/2014 10:22 AM, Zachary wrote:
> Alexander Tarasikov <alexander.tarasikov <at>> writes:
>> Genode does have the framebuffer driver (which even supports DSI panels on 
> phones and tablets), input and block driver and works very well. I had quite 
> nice results running multiple instances of Android on the Samsung Galaxy Nexus 
> (omap4460) and Nook HD+ tablet (omap4470).
> Thanks for your reply. 
> I have brought a pandaboard, and run L4Linux on it perfectly. However, I don't 
> know how to add the framebuffer driver on it. I am a rookie of it, and I am 
> sorry for my rudeness, but can you give me some documents or a guide?

for using Genode/Fiasco.OC and L4Linux on the Pandaboard, the following
documentation may provide you with a quick start:


Dr.-Ing. Norman Feske
Genode Labs ·

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

More information about the l4-hackers mailing list