Device Tree Blob support in l4linux

Adam Lackorzynski adam at os.inf.tu-dresden.de
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
arch/l4/boot/dts/simple.dtb.




Adam
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/



More information about the l4-hackers mailing list