2 ms·
Your phone likely has a L4 microkernel running the radio. There are millions and millions of microkernels out there running all kinds of things, going where Lin
by kryptiskt 11y ago
Your phone likely has a L4 microkernel running the radio. There are millions and millions of microkernels out there running all kinds of things, going where Linux fear to tread.
- technion 11y agoI'm surprised that something so incredibly prevalent is so rarely discussed.
- techdragon 11y agoMuch of the tech community views this as "settled" thanks to the Linux versus Tannenbaum debate. Microkernels aren't going away any time soon. :-)
- technion 11y agoOh I know - I meant more "running L4 kernels", with the seL4 currently looking quite interesting. At what point do you conclude that you're: * running everything in hypervisor X, thus hardware support doesn't matter * running only servers, thus desktops don't matter * and thusly, may stand more to gain from an environment that never catered to the above two?