(9885) Linux

Template: Infobox Asteroid / Maintenance / Error 1

( 9885 ) Linux is an asteroid of the main belt, which was discovered on October 12, 1994 by Spacewatch. The asteroid is named after the Linux kernel.

With ( 9793 ) Torvalds, ( 9965 ) and GNU ( 9882 ) Stallman got more asteroid names of prominent software developers or FLOSS projects.

17749
de