40x - Intel kúpil tvorcu real-time Linuxu za 884 miliónov