Microkernels
It's been mentioned by others that Huawei's OS, like QNX/BB 10, is a microkernel.
It would be hugely paradoxical (and amusing) if a Chinese OS turned out to be more secure than a US one. It probably won't, but at least they are starting in the right place.