Computer operating systems based on the Linux kernel are used in embedded systems such as consumer electronics, in-vehicle infotainment, networking equipment, machine control, industrial automation, navigation equipment, spacecraft flight software, and medical instruments in general. Wikipedia