Hi Will, This is the correct u-boot.bin: https://sel4.systems/Hardware/sabreLite/u-boot.bin This prebuilt u-boot has a patch applied in order to compile in the "bootelf" command. Perhaps you did not install u-boot correctly or you are not booting from the correct source? In any case, the "bootelf" command is not strictly required to boot seL4. To boot a binary image, first convert your elf file into a binary file: $> arm-linux-gnueabi-objcopy --output-target binary bootimg.elf bootimg.bin This strips out the image metadata (load address and entry point) so you need to be sure to use the correct addresses in your boot command U-Boot> tftpboot 0x20000000 bootimg.bin && go 0x20000000 - Alex ________________________________________ From: Will Korteland [will.korteland@gmail.com] Sent: Wednesday, 24 December 2014 01:54 To: Alexander Kroh Cc: devel@sel4.systems Subject: Re: [seL4] i.MX6 quad booting problems Hi Alex, I've managed to get the TFTP part working (it was a combination of many problems - environment variables, drivers, leftover config from AOS, etc.), but I now have a different problem - after the TFTP finishes, I get the message "Unknown command 'bootelf'". From what I've read, this doesn't seem to be an environment variable, but needs to be compiled into the u-boot image - did I download the right u-boot.bin from the website? I used the prebuilt u-boot.bin from the Sabre Lite hardware page. (If I'm wrong and it's an environment variable, could you please paste it here?) Thanks, - Will On 14 December 2014 at 20:15, Alexander Kroh <Alexander.Kroh@nicta.com.au<mailto:Alexander.Kroh@nicta.com.au>> wrote: Hi Will, The key environment variables are: bootcmd=tftpboot 0x30000000 bootimg.elf && bootelf gatewayip=192.168.168.1 ipaddr=192.168.168.2 serverip=192.168.168.1 The tftpboot command reports the IP addresses used so that you can check that they are correct. You might consider using tcpdump or wireshark to diagnose the problem. - Alex ________________________________________ From: Devel [devel-bounces@sel4.systems] on behalf of Will Korteland [will.korteland@gmail.com<mailto:will.korteland@gmail.com>] Sent: Sunday, 14 December 2014 18:26 To: devel@sel4.systems Subject: [seL4] i.MX6 quad booting problems Hi everyone, I hope I'm using the correct list for this type of thing... I've bought my own Sabre Lite (identical to the AOS boards), and I've been trying for a few days now to get it to boot from tftp. I've downloaded the prebuilt u-boot.bin from the Sabre Lite hardware page, but it still doesn't seem to be working - it keeps timing out when trying to do the transfer. I think my tftp server is set up correctly, since it is the same as it was during AOS last semester. Could someone please boot a Sabre Lite set up for TFTP, interrupt the default boot process, type "printenv" into the U-Boot prompt and paste the results? Sorry if this is the wrong place to ask. Thanks, - Will ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.