IMHO it's very misleading to call those RTOS kernels microkernels. There is no address space isolation, it's more like a unikernel - there is no privilege separ

IMHO it's very misleading to call those RTOS kernels microkernels. There is no address space isolation, it's more like a unikernel - there is no privilege separation.