Does hardware defined DAB+ exist?

Hello,

I want to stream a DAB+ signal through a server, for example TVheadend. Now I know software defined DAB+ exists (SDR-RTL for example) and I already tried it. It works, but it's very processor intensive, not something to use on a arm-based device.

So I wonder if there does exist hardware defined DAB+. I already found this device from DeNSION: DAB+U | Dension but it's a little bit expensive.

I found also these android devices: Tweede Generatie DAB + Doos Digitale Radio Ontvanger Voor Android Systeem Auto Head Unit Dvd speler in Tweede Generatie DAB + Doos Digitale Radio Ontvanger Voor Android Systeem Auto Head Unit Dvd-speler van Kabels, Adapters & Sockets op AliExpress.com | Alibaba Groep and POPyourPHONE - dab+ til Android smarttelefon | The home of POP but how do they work and do they work on linux?

And how do those smartphones play FM radio, it seems it's not overkill for their processor and could an old smartphone be used to stream radio through a usb connection into a linux server?