I'm not aware of any microkernels for phones (I'm not sure that would help either), but Android has been sandboxing more and more processing [1] and started usi

I'm not aware of any microkernels for phones (I'm not sure that would help either), but Android has been sandboxing more and more processing [1] and started using some Rust at the system level [2] ever since the stagefright bug [3]. 1: https://android-developers.googleblog.com/2019/05/queue-hardening-enhancements.html https://android-developers.googleblog.com/2019/05/queue-hard... 2: https://security.googleblog.com/2021/04/rust-in-android-platform.html https://security.googleblog.com/2021/04/rust-in-android-plat... 3: https://en.wikipedia.org/wiki/Stagefright_(bug) https://en.wikipedia.org/wiki/Stagefright_(bug)