Device Tree Blob support in l4linux

[Adam Lackorzynski]

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
> CONFIG_ARM_APPEND_DTB=y, CONFIG_ARM_DTB_COMPAT=y, CONFIG_USE_OF=y, compiled
> 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                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/