(9885) Linux ist ein Asteroid des Hauptgürtels, der am 12. Oktober 1994 von Spacewatch entdeckt wurde.
Der Asteroid wurde am 11. November 2000 nach dem Linux-Kernel benannt.
Mit (9793) Torvalds, (9965) GNU, (9882) Stallman und (13926) Berners-Lee bekamen weitere Asteroiden Namen von prominenten Softwareentwicklern oder FLOSS-Projekten.
Der Himmelskörper gehört der Vesta-Familie an, einer großen Gruppe von Asteroiden, benannt nach (4) Vesta, dem zweitgrößten Asteroiden und drittgrößten Himmelskörper des Hauptgürtels.
Siehe auch Liste der Asteroiden
Weblinks Asteroid Linux in der Small-Body Database des Jet Propulsion Laboratory der NASA am California Institute of Technology (Caltech) in Pasadena, Kalifornien (englisch)
Einzelnachweise
Kategorie:Hauptgürtelasteroid unter 50 km Durchmesser Kategorie:Vesta-Familie