The Linux kernel has gained wide use in operating systems used in embedded systems, as real-time and non-real-time variants.
Patches exist which transform the Linux kernel into a real-time kernel, termed a real-time operating system (RTOS).