Re: [seL4] CAmkES ARM VM boot on TK1

Hi Kent, I boot from the SD card without setting autoload. - fatload mmc 1 ${loadaddr} image_file - bootelf ${loadaddr} where ${loadaddr} is 0x8100 . The compiler information: arm-linux-gnueabi-gcc (Ubuntu/Linaro 5.4.0-6ubuntu1~16.04.4) 5.4.0 20160609 Copyright (C) 2015 Free Software

Re: [seL4] CAmkES ARM VM boot on TK1

It works on our jetson. The uboot commands that we use are: `setenv autoload no && dhcp && tftpboot 0x8100 jetson1/sel4-image` and then `bootelf 0x8100` What compiler versions are you using? Kent. From: Devel on behalf