彼はあなたが正しいことを静的に言っています。Linuxオペレーティングシステムと呼ばれる一般的なものは実際にはGNU Linuxであり、そのカーネルはプロパティのLinuxと呼ばれるものですが、Linuxという言葉は通常、カーネルとオペレーティングシステムの両方を呼び出すために使用されます
Esticatamente hablando tienes razón. El sistema operativo comunmente llamado linux es en realidad GNU Linux, y su kernel es el que se llama Linux en propiedad, aunque por lo general se usa la palabra Linux para denominar tanto al Kernel como al Sistema Operativo