Operating systems based on the Linux kernel are used in embedded systems such as consumer electronics (i.e.