[apayan]

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-hard...

2: https://security.googleblog.com/2021/04/rust-in-android-plat...

3: https://en.wikipedia.org/wiki/Stagefright_(bug)