
nhân Linux- tên của một nhân hệ điều hành tự do.
der Name eines freien Betriebssystemkernels
hệ Linux- hệ điều hành được xây dựng dựa trên nhân Linux.
ein auf dem Linux-Kernel aufbauendes Betriebssystem
tiểu hành tinh- tên của một tiểu hành tinh, tên gọi chính xác là “(9885) Linux”.
der Name eines Asteroiden, genaue Bezeichnung: „(9885) Linux“