No. What I mean is a micro kernel pace maker where 40% of the code is the beep beep service, and 30% is the meep meep service, and 30% is the bop bop service. As opposed to 99% of the code in the Linux service and 1% of the code in the realtime watchdog restart service.
Calling EC2 a micro kernel success story also seems like quite the definitional stretch.
Calling EC2 a micro kernel success story also seems like quite the definitional stretch.