The Linux operating system in industry