Besides the Linux kernel, one of the advantage of embedded Linux is the ability to ... a variety of embedded operating systems, including embedded Linux.
elinux.org