> a new company called Coral.
On that website, each page has the Google logo at the bottom and "Copyright 2019 Google LLC. All rights reserved.". Also, at [1], Google LLC is mentioned as manufacturer of the devices. At this point, Coral still seems to be a brand only, not a company. Maybe they just didn't want to harm/affect their "main" trademark with this. Or they actually do want to create a separate company and this is the first step.
Software Eng. with The Coral Project[0] here. Feeling a little odd with the same color (even the logo a bit) + name combo used for their TPU as we've used for The Coral Project for years now..
E: Hah, seems like my topic got merged with this one. Interesting how I was short from OPs post by like a minute a two. Such a coincidence!