Huawei may be on to something. Some microkernels (Mach comes to mind) don't do IPC well, and that's a huge part of their job. All networking is IPC. So an IPC-optimized microkernel with QoS-aware scheduling would be a great start for a communicating device. And what isn't?
Of course bugs and back doors in actual products could be a different story.
Biting the hand that feeds IT
