
Linux- de naam van een vrije besturingssysteemkernel
der Name eines freien Betriebssystemkernels
linuxsysteem- een op de linuxkernel gebaseerd besturingssysteem
ein auf dem Linux-Kernel aufbauendes Betriebssystem
Linux-asteroïde- de naam van een asteroïde, precieze aanduiding: „(9885) Linux“
der Name eines Asteroiden, genaue Bezeichnung: „(9885) Linux“