Nice that it found a niche there.

That's however orthogonal to what I wrote, I think.

It's not like it has a software ecosystem, community, drivers, etc, to be adopted over any major OSes as something that "all others being equal" is also "formally verified".