Most RTOS for high integrity computing deployments are microkernel based, and the large majority of cloud deployments are running on top of microkernels, which

Most RTOS for high integrity computing deployments are microkernel based, and the large majority of cloud deployments are running on top of microkernels, which is basically what a type 1 hypervisor ends up being, even more so, if it they are serverless workloads running directly on top of the hypervisor.