Separation kernel hypervisor technologyA secure IoT gateway

IoT gateways with common embedded operating systems are a security risk. Does separation kernel hypervisor technology take devices to a new level of security?