Virtual Machines for small devices