20190701 gadgets-news: Google is working on an alternative to Android; new details emerge