I've heard $5B+ estimates for development costs for fuchsia and it's barely made a dent on the market.

The goodness of a kernel is somewhat determined by how much people decide to use it.