Device Tree Blob support in l4linux

Adam Lackorzynski adam at
Tue Aug 5 22:44:26 CEST 2014

On Tue Aug 05, 2014 at 17:56:54 +0200, Martin Schröder wrote:
> On my board I want to add support for GPIO. The relevant drivers rely on the
> pinctrl configuration stored in a Device Tree Blob.
> So I exposed the memory regions and IRQs to the l4linux task, enabled
> the dts (from a native linux build) and added it to moe but without any
> success. Unfortunately I did not find any references nor any examples how
> someone can provide a Device Tree Blob to l4linux.
> Has anybody ever managed to get l4linux running with DTB support?

Appending the DTB won't work with L4Linux. However, you can just use
l4x_dtb=rom/your.dtb on the cmdline.

Adam                 adam at

More information about the l4-hackers mailing list