Who would have thought that Raspberry Pi, the maker of the tiny, cheap, single-board computers, would become a public company? Yet, this is exactly what’s happening: Raspberry Pi priced its IPO on the London Stock Exchange on Tuesday morning at £2.80 per share, valuing it at £542 million, or $690 million at today’s exchange rate. Shortly after that, the company’s shares jumped a nice 32% to £3.70. It means that Raspberry Pi could end up raising more than $200 million during its IPO process. Reta...