Seems like a good summary. Let's not forget that microkernels and RTOS's dominate embedded. http://www.cs.vu.nl//~ast/reliable-os/ http://www.cs.vu.nl//~ast/re

Seems like a good summary. Let's not forget that microkernels and RTOS's dominate embedded. http://www.cs.vu.nl//~ast/reliable-os/ http://www.cs.vu.nl//~ast/reliable-os/ Microkernels are also favored in the safety- and security-critical niches in high-assurance systems. Although niche, it's tens to hundreds of millions of dollars in activity over the past decade. Seemed worth adding as a surviving paradigm given that. One of more successful ones below. http://www.ghs.com/products/safety_critical/integrity-do-178b.html http://www.ghs.com/products/safety_critical/integrity-do-178...