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).
../init-build.sh -DAARCH32=TRUE -DCAMKES_VM_APP=vm_minimal -DPLATFORM=tk1
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
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?