I'm using the docker image to build the CAmkES ARM VMM project using roughly the instructions here: https://docs.sel4.systems/VM/CAmkESARMVM.html (they are slightly out of date).

I do:

../init-build.sh -DAARCH32=TRUE -DCAMKES_VM_APP=vm_minimal -DPLATFORM=tk1

ninja

Then I copy the resulting image from the images directory to an SD card and put that in my TK1.

When U-Boot starts I use the following commands to try to boot

fatload mmc 1 0x10000000 capdl-loader-image-arm-tk1

bootelf 0x10000000

To which I get an error: No elf image at address 0x10000000

I tried with an older version of U-Boot (that worked following this same procedure about a year ago). It is U-Boot SPL 2014.10-rc2-g3127911 (Jun 07 2016 - 21:00:01)

I also tried updating U-Boot to U-Boot SPL 2020.01-00442-gc00bd81ae0 (Jan 10 2020 - 11:10:18 -0500). Same error.

Any thoughts or suggestions on how I get this to boot?