> This article fails to mention GrapheneOS.

From Wikipedia: "GrapheneOS[b] (/ˈɡræfiːn.oʊˈɛs/) is a free and open-source, privacy- and security-focused, Android-based operating system"

So still Android.