The biggest maker of Raspberry Pis was just acquired for $871 million The biggest maker of Raspberry Pis was just acquired for $871 million