Run seL4 on Odroid C4 using U Boot and TFTP Server

seL4 kernel
1

I have an Odroid C4 device. The questions are:

  1. I have tried to boot the Odroid C4 device from TFTP Server using the image is generated by the Milestone 0 project. I followed it exactly on Odroid C4. I run into a problem if you can help.

  2. I generated the image file which is sos-image-arm-odroidc2.

  3. I set up the env on the UBoot command line to boot the Odroid C4 from TFTP server.

as follows:

setenv ipaddr 192.168.168.2
setenv serverip 192.168.168.1
setenv bootcmd ‘tftpboot 0x20000000 sos-image-arm-odroidc2 && go 0x20000000’
saveenv

But, when I run or reboot the Odroid C4 device, it stuck on “Starting application at 0x2000000”