But the network effects are too strong and the GPL requiring the source code for drivers to be released increases the network effects. Unlike permissive licenses.
Busybox is still overwhelmed suing companies repeatably ignoring the GPL.
This large scale deployment is apparently billed by some as the payoff for the promise of microkernels w.r.t. "security" so I guess they just don't mean yours?
Android's toybox emerged when Rob Landley, the main busybox developer, left the busybox project because of the lawsuits.
Toybox uses a BSD license.
1 - https://www.tomshardware.com/news/google-removing-minix-mana...
Purism laptops being a commercial venture to have modern hardware.
Then there's vendors repurposing older Thinkpads packaged with libreboot or coreboot.
The Intel CPU/microOS inside of a CPU while cool and even cooler that Minix was used for it, was unfortunately not very transparent for security/paranoid conscious persons.
Second note added later: The online discussion got completely sidetracked from my original points as noted above. For the record, I would like to state that when Intel contacted me, they didn't say what they were working on. Companies rarely talk about future products without NDAs. I figured it was a new Ethernet chip or graphics chip or something like that. If I had suspected they might be building a spy engine, I certainly wouldn't have cooperated, even though all they wanted was reducing the memory footprint (= chip area for them). I think creating George Orwell's 1984 is an extremely bad idea, even if Orwell was off by about 30 years. People should have complete control over their own computers, not Intel and not the government. In the U.S. the Fourth Amendment makes it very clear that the government is forbidden from searching anyone's property without a search warrant. Many other countries have privacy laws that are in the same spirit. Putting a possible spy in every computer is a terrible development.
Source: https://www.cs.vu.nl/~ast/intel/