I recall reading that Huawei's microkernel was actually more interesting/better than fuchsia, on a technical sense (don't know the metric).

Anyone has a (founded) opinion on the subject?