On Mon, 29 Nov 2021 13:37:01 +1300, Peter Reutemann quoted:
'"According to a report in The Telegraph, Raspberry Pi Trading, the arm responsible for the creation of the Raspberry Pi 4, Raspberry Pi Pico and the new Raspberry Pi Zero 2 W could soon be listed with a value of more than £370m ($493m)," reports Tom's Hardware ...'
Worth noting <https://www.theregister.com/2021/11/29/pi_listing/> the distinction between the nonprofit Raspberry Pi Foundation, whose mission it is to teach people how to code, and Raspberry Pi Trading, which builds the actual hardware and sells it. By the way, according to that article, the Pi family is shipping around 6 million units per year. That’s probably more than 2% of the size of the x86 market. And it’s all Linux. So if you want to talk about “Linux market share”, that becomes a lower bound.