Open source hypervisor runs multiple OS in IoT designs