My findings so far. I do not own any of this device:

- Vero V, based on #osmc that is based on #kodi, £149, UK
- Waipit(.)tv, Android based. A few devices in different form factors, different pricing. DE
- MagentaTV from Telekom, Android based. The same as above - different generations and sizes. DE

I have some doubts about Android due to Google. From another side do not have a lot of experience with kodi.