I don't believe the 1.2b euro number for how much it would cost a company to write the Linux kernel (and only the kernel) from scratch.
We have many examples of small teams writing great kernels in a few years. Some in academia, some in hypercorps, and some in recovery from addiction:-).
Not that Linux isn't great. I just think that estimate is misguided.