If 20+ years of micro-kernel development thought us anything is that the concept simply doesn't work. Period.
Originally Posted by liam
Whether or not micro-kernel has theoretical advantage is completely irrelevant in the real world *, **.
Monolithic/Hybrid kernels such as Linux, Windows and OSX won.
Oh, and you do know that IoT is yet-another-Internet-related buzzword that will be replaced by another one in a year or two, right?
Given the fact that Linux itself runs ~1.5b devices. (Android alone counts for +1b devices), 1.5b toasters is not really impressive.
(a 2012 gd blog put the official deployment numbers at 1.5 billion).
* If the root file-system driver or a PCI controller driver goes up the flames due to a software bug (or hardware issue), and leaves the OS in a inconsistent state, your OS is toast.
** Far worse, "safe" 4'th generation languages tend to use exceptions as a error-messaging tool, make the code far less resilient to minor errors.
Last edited by gilboa; 07-31-2014 at 04:08 AM.
DEV: Intel S2600C0, 2xE52658V2, 32GB, 4x2TB, GTX780, F20/x86_64, Dell U2711.
SRV: Intel S5520SC, 2xX5680, 36GB, 4x2TB, GTX550, F20/x86_64, Dell U2412..
BACK: Tyan Tempest i5400XT, 2xE5335, 8GB, 3x1.5TB, 9800GTX, F20/x86-64.
LAP: ASUS N56VJ, i7-3630QM, 16GB, 1TB, 635M, F20/x86_64.