Hi,

On 12/15/2014 12:55 PM, Andre Puschmann wrote:

On 12/15/2014 10:53 AM, Matthias Lange wrote:

...

Hi,

L4Re (kernel and userland) do support the OMAP4460 on the Pandaboard and L4Linux/L4Android can be compiled with ARMv7 support. However we do not have a native framebuffer and input driver. You would have to write your own drivers and we are happy to assist you with that task.

If you want to get started with L4Android on ARM per se, please have a look at the Realview/Versatile platforms on Qemu. L4Re has support for the Amba LCD device.

Following up this question, what would be the embedded hardware platform you'd suggest at the moment for projects/experiments? What are you using for development?

I am asking because there is a multitude of boards with e.g. i.MX6 or Exynos based processors. What would be the one that has the best out-of-the-box support in terms of hardware drivers, etc.?

Unfortunately there is no easy answer to that. Out of the box the Realview machines emulated by qemu are supported by L4Re which means there is a framebuffer and input driver. For other platforms such as Exynos we don't have or are not free to release drivers (yet).

Do you have a specific platform in mind which we may consider for broader support?

Best, Matthias.

On Mon, Dec 15, 2014 at 9:53 AM, Matthias Lange < matthias.lange@kernkonzept.com> wrote:

Hi,

Sorry to hijack your thread, but!

L4Re (kernel and userland) do support the OMAP4460 on the Pandaboard and L4Linux/L4Android can be compiled with ARMv7 support. However we do not have a native framebuffer and input driver. You would have to write your own drivers and we are happy to assist you with that task.

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

If you want to get started with L4Android on ARM per se, please have a look at the Realview/Versatile platforms on Qemu. L4Re has support for the Amba LCD device.

Best, Matthias.

On 12/11/2014 02:38 PM, Zachary wrote:

...

Hi,

I want to buy a pandaboard to run L4Android. Dose L4Android supports

omap4460?

...

Is anyone has experience with it?

Best, Zachary

---

l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

-- Matthias Lange, matthias.lange@kernkonzept.com, +49 - 351 - 41 88 86 14

Kernkonzept GmbH. Sitz: Dresden. Amtsgericht Dresden, HRB 31129. Geschäftsführer: Dr.-Ing. Michael Hohmuth

---

l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

Hi,

On 26.12.2014, at 10:22, Zachary czzcz@126.com wrote:

Hi,

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? What' more, I am also interesting for your work to run mutiple instances of Android on omap4460.

On pandaboard.org you will find the Omap4 reference manual. This contains all the bits and pieces you need. Writing a framebuffer driver for the Pandaboard includes multiple steps. First you need to power on all required subsystems (HDMI, display). Then you will need the GPIO subsystem to configure the involved components (e.g. DDC). Configuring the framebuffer itself consists of only a few steps, however they may be hard to grasp from the manual.

Best, Matthias.

-- matthias.lange@kernkonzept.com - Tel. 0351-41 888 614

Kernkonzept GmbH. Sitz: Dresden. Amtsgericht Dresden, HRB 31129. Geschäftsführer: Dr.-Ing. Michael Hohmuth

On 01/16/2015 04:12 AM, Zachary wrote:

Matthias Lange <matthias.lange <at> kernkonzept.com> writes:

...

On pandaboard.org you will find the Omap4 reference manual. This contains

all the bits and pieces you need.

...

Writing a framebuffer driver for the Pandaboard includes multiple steps.

First you need to power on all

...

required subsystems (HDMI, display). Then you will need the GPIO subsystem

to configure the involved

...

components (e.g. DDC). Configuring the framebuffer itself consists of only a

few steps, however they may

...

be hard to grasp from the manual.

Thanks for yor reply!

Having searched information about the driver, I still didn't know where to add the driver, L4Re? L4Linux?

Where should I put my drvier to? Are there exist examples of drivers I can refer to?

I think the fb-drv package is a good starting point. However you can put your driver into its own package if you like. To plugin nicely with the existing parts of the L4Re userland (e.g. mag) your driver needs to implement the Goos video API.

Matthias.

On 01/22/2015 03:09 AM, Zachary wrote:

Matthias Lange <matthias.lange <at> kernkonzept.com> writes:

...

I think the fb-drv package is a good starting point. However you can put your driver into its own package if you like. To plugin nicely with the existing parts of the L4Re userland (e.g. mag) your driver needs to implement the Goos video API.

Matthias.

How about \src\l4\pkg\drivers\lcd\src ? What is the files in the folder used to do? Depends on my requirement, I need do something with it?

I am not sure what your question is. The directory you mention contains framebuffer drivers for multiple platforms. You can add your own driver here as well.

Matthias.