I just checked out a fresh copy of https://github.com/

SEL4PROJ/camkes-arm-vm-manifest and built an image for the TK1 using the docker build environment. I copied the resulting image to an SD card and it

boots fine.

If I switch to the unsecure mode, I get an error on boot.

SMMU Address translation error:

ID: 98 address: 0xae5be000 type: 6 direction: 0x0

IOPT permission: read 0x0 write 0x0 nonsecure 0x0

[   10.204777] mmc1: ADMA error

I have not made any changes, so my vm.smmu settings are all default.

Any thoughts or help?

Mike