Where are the Android TV setop boxes?

So Google announces android TV at I/O but I can't find anything on who is manufacturing the setop boxes.

Did they mention who and when it would hit the market?