Huawei created and are currently shipping a microkernel OS not just on phones but in routers, appliances, vehicles. https://www.usenix.org/conference/osdi24/pr

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-haibo https://www.usenix.org/conference/osdi24/presentation/chen-h...