They don't necessarily have to: there's another, more comprehensive hammer they (or the US for that matter) could use: disallow vertical integration.
Force hardware vendors to only sell hardware. If any software that can be changed remotely or by the user is off limits. Even firmware. Conversely, software vendors can only sell (or freely distribute) software. For vendors from abroad, don't go extra-territorial, just force them to chose: either they only sell hardware in the EU, or they only sell software. Intel and microsoft would have no problem. NVDIA might complain very loudly. Apple would likely have to split itself.
Now the complicated part is how to define a company. We don't want a single company to just split itself into 2 legal entities that work so closely together they might as well be the same company.
Do that, and you'll get much better than device drivers for one free OS. You'll get the necessary specs required to make it work on all OSes. Even better, the user-facing hardware interface will start to matter, and there will be some selection pressure to drive the more complex ones, or the non-standard ones, out of the market. (Won't be ideal, I can see a particular over-complex architecture win out, similar to x86, but at least there won't be that many left, so writing a driver for most devices will actually be possible).
Force hardware vendors to only sell hardware. If any software that can be changed remotely or by the user is off limits. Even firmware. Conversely, software vendors can only sell (or freely distribute) software. For vendors from abroad, don't go extra-territorial, just force them to chose: either they only sell hardware in the EU, or they only sell software. Intel and microsoft would have no problem. NVDIA might complain very loudly. Apple would likely have to split itself.
Now the complicated part is how to define a company. We don't want a single company to just split itself into 2 legal entities that work so closely together they might as well be the same company.
Do that, and you'll get much better than device drivers for one free OS. You'll get the necessary specs required to make it work on all OSes. Even better, the user-facing hardware interface will start to matter, and there will be some selection pressure to drive the more complex ones, or the non-standard ones, out of the market. (Won't be ideal, I can see a particular over-complex architecture win out, similar to x86, but at least there won't be that many left, so writing a driver for most devices will actually be possible).