Device Tree Blob support in l4linux

Adam Lackorzynski adam at
Mon Aug 11 23:41:39 CEST 2014

Hi Martin,

On Mon Aug 11, 2014 at 19:13:51 +0200, Martin Schröder wrote:
> Am 05.08.2014 um 22:44 schrieb Adam Lackorzynski:
> >Appending the DTB won't work with L4Linux. However, you can just use
> >l4x_dtb=rom/your.dtb on the cmdline.
> it does not work for me. With a provided dtb it stops here:
> >l4linux | l4x_register_pointer_section: addr = 02000000 size = 3956736
> >l4linux |            text: Virt: 0x2000000 to 0x23c5c0f [3863 KiB]
> >l4linux |            text: Phys: 0x40441000 to 0x40806c0f, [3863 KiB]
> >l4linux | DTB: virt=0x2400100 phys=41600100
> If l4x_dtb is left out booting continues with:
> >l4linux | l4lx_thread_create: Created thread 41a timer0) (u:b3000a00, v:00000000, sp:0235dfa)
> >Booting Linux on physical CPU 0X0
> >...
> So l4x_load_dtb(main.c) is fine, but then something else in setup_arch goes
> wrong. The dtb s stolen from some other linux build, so maybe the dtb is
> wrong.

Hmm, you need to tune the DT a bit I think. Did you take out the GIC,
timer and UART? (In case they might be compiled in.) Do you have
earlyprintk enabled? Maybe you also could try

Adam                 adam at

More information about the l4-hackers mailing list