Software Libre, Linux