¿Qué sistema operativo es conocido por su núcleo Linux?