Huh. Interesting example. I actually do want to see a government produced public good operating system.

Where we're going, operating systems will either be ad filled messes or locked down walled gardens. A public good option would be required to meet high bars for interoperability while also not ad funded.

It's one thing to regulate away a market (make things illegal) and a very different situation if the government is just setting a bar for quality within a market.