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
> [email protected]
> https://sel4.systems/lists/listinfo/devel

_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel

Reply via email to