Device Tree Blob support in l4linux

Martin Schröder martin.schroeder at
Mon Aug 11 19:13:51 CEST 2014

Hi Adam,

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.


More information about the l4-hackers mailing list