I stand corrected. The best info I've been able to find about the architecture is https://www.df-f.com/blog/ios17 https://www.df-f.com/blog/ios17 Is there more

I stand corrected. The best info I've been able to find about the architecture is https://www.df-f.com/blog/ios17 https://www.df-f.com/blog/ios17 Is there more info available, yet? Might this be related to Apple's recent sponsorship of seL4--https://sel4.systems/news/#member-apple https://sel4.systems/news/#member-apple?