Personal project: trying to get OP-TEE to work on a rpi3. Seems like there’s some known issues in my way of success. It’s annoying. But once it’s working, I’ve got some experiments I’d like to try out.