Would it make sense to port seL4 microkernel to Pixel smartphones and implement GrapheneOS as guest for seL4 hypervisor?

  • de0u replied to this.

    I don't know about that but pixel 6 and 7 support KVM virtualization within an app.

    ip6li Would it make sense to port seL4 microkernel to Pixel smartphones and implement GrapheneOS

    At a sufficiently high level of abstraction, why not?

    Whether it makes practical sense probably depends on the costs versus the benefits.

    Trying to maintain compatibility with Android and keep all the device drivers running for all the supported devices, without sources for the baseband etc., would be a lot of effort. It's not clear what the win would be, or how to estimate the value, at least not to me.