i followed these instructions for a zcu102 CAmkES VMM | seL4 docs
this is what I get when I try to load the image though
ZynqMP> fatload mmc 0 0x08000000 capdl-loader-image-arm-zynqmp
64669872 bytes read in 4217 ms (14.6 MiB/s)
ZynqMP> bootelf
"Synchronous Abort" handler, esr 0x96000004
elr: 0000000010155498 lr : 00000000101554e4 (reloc)
elr: 000000007fd5c498 lr : 000000007fd5c4e4
x0 : 0000000000000041 x1 : 00000000081c4ec0
x2 : 0000000000000040 x3 : 000000000000003f
x4 : 00000000081c4e90 x5 : 0000000000000000
x6 : 0000000000000000 x7 : 000000007bf00000
x8 : 00000000ffffffd8 x9 : 0000000000000008
x10: 000000007bc79400 x11: 0000000000000000
x12: 0000000000000002 x13: 000000007bc106e0
x14: 0000000000000000 x15: 0000000000000200
x16: 000000007fc9b578 x17: 000000007fd8d3be
x18: 000000007bc06d80 x19: 753c2400081ab2ca
x20: 0000000008000000 x21: 0000000000000007
x22: 000000007bc79470 x23: 0000000000000001
x24: 000000007fdc875c x25: 000000007bc794b0
x26: 0000000000000000 x27: 0000000000000000
x28: 0000000000000000 x29: 000000007bbf8ad0
Code: d65f03c0 f9401693 8b130293 8b151a73 (f9400660)
Resetting CPU ...
### ERROR ### Please RESET the board ###