#7 Pues yo utilizo el nombre Linux para referirme a mi kubuntu linux, si no te importa. Así que el "kernel de linux" me suena estupendamente, aunque coincido en que no suena muy técnico. Para la próxima, propongo KDE/Linux (escritorio KDE con kernel de linux).
