FreeRTOS is essentially a unikernel. I assume many other RTOSs are as well.