Hello,
On 12/26/2014 10:22 AM, Zachary wrote:
Alexander Tarasikov <alexander.tarasikov <at> gmail.com> 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:
http://genode.org/documentation/articles/pandaboard
Cheers Norman