linux wird definiert