Google is developing a new operating system with the name MicroDroid