[alidon]

Huawei created and are currently shipping a microkernel OS not just on phones but in routers, appliances, vehicles.

https://www.usenix.org/conference/osdi24/presentation/chen-h...