A pleasure, I had fun trawling the open sourced parts! Shame my speculative efforts on the other parts were off the mark.

So you’re saying it’s a lot like seL4 but a fresh implementation? They say imitation is the sincerest form of flattery, right :)

Ps. If you have a spare moment to throw redirections on where my speculation went awry, please do!!

You’re welcome! But you and many others are in a different league to me - I’m only an interested onlooker, reliving my kernel subjects from uni :)

I did post a short follow up yesterday after understanding that Apple may be using the existing GL0/1/2 levels rather than TrustZone.