utilizzano linux!
una volta era girata una immagine con un kernel panic, se non erro...