4 ms·
Which microkernel based OSes are ccurrently deployed? Which of these are open source?
by Fnoord 7y ago
Which microkernel based OSes are ccurrently deployed? Which of these are open source?
- loeg 7y agoFuschia, for example; there are also various L4-based systems, some of which are open source.
- kryptiskt 7y agoQNX is widespread in embedded systems, it's sadly closed source (it's a magnificent OS). L4 is a family of operating systems, sharing an API, not code. The ancestor was built to prove that microkernels could be fast. SeL4 is a formally proved variant. They are open source. They are also used in embedded systems, like baseband processors. Minix 3 is an academic project by Andrew Tanenbaum. A few eyebrows were raised when it turned out that it is present in all new Intel chipsets.
- mnd999 7y agoWindows NT 3.51 is probably still running on a fair few embedded devices.
- monocasa 7y agoNT was never a microkernel.
- pjmlp 7y agoSymbian (you can still buy handsets), QNX, L4, INTEGRITY OS, GenodeOS, muen, Fuchsia. Then you have the hybrid ones from Apple, Android with Treble (classical Linux drivers are referring to as legacy driver on the documentation) and Windows is kind of hybrid as well. As of Catalina, Apple was very clear that the long term roadmap for their OSes is to move all drivers and kernel extensions into userspace, which will be a gradual process.
- solarkraft 7y agoThat is fascinating. So is everyone moving to be more microkernel-y? It's anyone actually transitioning to a more monolithic system?
- pjmlp 7y agoYes, because when you connect the whole world into a kernel, written in C, every little barrier helps.
- zzzcpan 7y agoIt's a natural evolution of any system - monoliths are ok only as long as you don't need much of reliability, security, productivity, cooperation, etc.
- tomxor 7y ago> monoliths are ok only as long as you don't need much of reliability, security, productivity, cooperation, etc As a supporter of microkernels I feel this is more a list of side effects. I'd put it this way: monoliths are ok so long as any critical code stays very small and comprehensible in it's entirety by an individual. It's also respectful of things that are not microkernels. Good microkernels designs operate on the same principle, to achieve reliability and security they keep their critical code very small. It's not invulnerable to bugs, but it is well understood that minimising this surface area is the first step in minimising bugs, the secondary effect is also focusing attention due to minimising total lines of critical code. Microkernels are an attempt to take this to an absolute minimum by adding a layer of abstraction that makes otherwise critical code non-critical. As a mere enthusiast I feel like this is the most useful lesson to take away from microkernels in other software, not triple redundancy or fancy reincarnation servers, but the fact that scale breeds complexity breeds bugs. Making sure the critical parts remain lean and inspectable helps a great deal in all software even when the separation is not as strict.
- robotbikes 7y agoHelenOS is an interesting open-source micro-kernel based operating system project primarily fueled by Charles University in Prague. It has a working GUI and USB support. It appears to be driven by various dissertations that add functionality see http://www.helenos.org/ http://www.helenos.org/
- jws 7y agoThe Intel processors all ship with Minix in their Management Engine. The Apple iOS devices all have L4 in their security enclaves. Both of these OSes have open source options, though the ones shipped in the processors are closed.