Yes I have heard it for multiple times.I am from China.And from what I know,it is an OS Huawei deploys on many of their new devices.According to my memory,Huawei claims that it uses an independently developed microkernel,with FreeBSD code for POSIX compatibility.However,some people suggests that it might just be a flavor of Linux.People here really don't like it as it lacks compatibility for most of commonly used applications.
One could only wish. I mean microkernel is the best fit for consumer devices (and critical ones) where HW and thus drivers are evolving fast - no need to compile them in to kernel.
