If it were a GPLv3 OS, it's likely that they would have chosen something else.

Would that have been a bad thing ? Between a proprietary OS on which we cannot do anything and an opensource-based OS on which we cannot do anything .. I'd argue that making the company paying the bill would be more healthy