> Basic memory management and error handling, for example, are radically easier and less error prone in C++ than in C.
Microkernels don't need memory management. Dynamic memory management in a kernel is a denial of service attack vector. Fuschia is built on a microkernel, so I expect they will follow the property of every microkernel since the mid 90s: no dynamic memory allocation in the kernel, all memory needed is allocated at boot.
Furthermore, you don't want exceptions in kernel code. That carries huge and surprising runtime execution and space costs.
Simply put, there is no reason to choose C++ for a microkernel, and many, many reasons not to.
Microkernels don't need memory management. Dynamic memory management in a kernel is a denial of service attack vector. Fuschia is built on a microkernel, so I expect they will follow the property of every microkernel since the mid 90s: no dynamic memory allocation in the kernel, all memory needed is allocated at boot.
Furthermore, you don't want exceptions in kernel code. That carries huge and surprising runtime execution and space costs.
Simply put, there is no reason to choose C++ for a microkernel, and many, many reasons not to.