Hi Hesham,
Thanks for your kindly answer. Yes, you are right, the linker file set the
physical load address to be 0x1000.
The ld version is GNU ld 2.26.1.
What surprise me is that today I can run the sel4test correctly. I first
change the physical load address in linker file to be 0x200
Hi Shijun,
It's the physical address of the "kernel" that's the problem, not the whole
image. The elfloader reads the LMA of the kernel elf file to load it to memory.
For imx6, currently the kernel assumes the physical load address to be
0x1000. Have a look at the linker file at "./src/plat
Hi Hesham,
I use the following command to get the sel4test projects, and I see that
the kernel is version 4.0.0-dev.
repo init -u https://github.com/seL4/sel4test-manifest.git
The following is the my compilation process:
*make sabre_debug_xml_defconfig*
*make*
*arm-linux-gnueabi-objcopy --out
Hi Shijun,
The load physical address of the kernel does not seem to be right. May I ask
which kernel revision are you using? How did you get the repo and how do you
run it?
Regards,
Hesham
On 20/03/17 20:15, shijun zhao wrote:
> Hi everyone,
>
> I am running sel4 on i.mx6q sabre board. I use th
Hi everyone,
I am running sel4 on i.mx6q sabre board. I use the
sabre_debug_xml_defconfig config file. However, the image stops at "Jumping
to kernel-image entry point..." when I run it on the board. Following is
the printed messages:
## Starting application at 0x2000 ...
ELF-loader started
