I’m not sure. From the few articles I’ve now read today, I see there’s a LightOS and WiseOS too.