Content deleted Content added
→Linux for embedded systems: Added links to articles |
Small cleanups (lines spacing and deduplicated links to articles) |
||
Line 15:
==Linux for servers==
{{Main|Linux for servers}}
There is an abundance of server software that runs on top of the Linux kernel.
Line 20 ⟶ 21:
==Linux for mobile devices==
[[File:Samsung Galaxy Nexus Render.png|100px|thumb|[[Galaxy Nexus]], a Linux-based
{{Main|Linux for mobile devices}}
One of the best known Linux-based operating systems for mobile devices, such as [[smartphone]]s, is the [[Android (operating system)]]. Android employs a modified Linux kernel and combines it with [[Bionic (software)|libbionic]] instead of the [[GNU C Library|glibc]], [[SurfaceFlinger]] as [[display server]], and some other replacements specifically written for this purpose.
Line 28 ⟶ 30:
==Linux for embedded systems==
{{Main|Linux for embedded systems}}
There are actively maintained patches that transform the Linux kernel into a [[Real-time computing|real-time]] kernel. That way Linux kernel gained a wide adoption as a kernel for operating systems driving [[embedded system]]s. Minimally, such an operating system includes a more or less modified Linux kernel, [[uClibc|µClibc]] and [[BusyBox]].
Line 34 ⟶ 37:
==Linux for supercomputers==
{{Main|Linux for supercomputers}}
480 (96%) of the world's fastest supercomputers run some kind of a Linux-based operating system.{{citation needed|date=October 2013}}
| |||