GrapheneOS is obviously an Android distribution, but I suspect trademarks mean they have to be careful about how they describe it.