Unikernels on microkernels are fine. Far as TCP&#x2F;IP, most production and some FOSS microkernels have those with some that heal themselves after crashes. Matter of fact, all high-assurance TCP&#x2F;IP stacks run in a partitioned config on microkernels. And Xen is a hypervisor derived from a microkernel. It&#x27;s not representative of most microkernels at all.