Hi Chris,
The correct u-boot command is "bootelf" rather than "go". I think bootelf is not enabled by the shipped u-boot.
When using the "go" command, a binary file is expected. Have you converted the compiled ELF image to a binary file?
- Alex
On Wed, 2017-02-15 at 19:34 +0000, Chris Guikema wrote:
Hello,
I am using the i.mx6 to test a networking example that function in QEMU. To load the application, I am using the u-boot that comes pre-compiled on the micro-sd. I am able to dhcp to my tftpserver and grab the seL4 image, and when I run the “go 20000000” command, I get the following:
## Starting application at 0x20000000 ...
AP Kernel returned back to the elf-loader.
abort() called.
Looking through the code, that error is in non_boot_main, yet that function call is wrapped by
#ifdef CONFIG_SMP_ARM_MPCORE
Which is undefined. That makes me think that the main() in boot.c is not being accessed and the elfloader isn’t being run properly.
Is this a u-boot issue, or is it that way I have everything setup? Is it a requirement to use the pre-compiled u-boot binary for the i.mx6?
Thanks,
Chris Guikema
Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel