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