I couldn't find a r/linuxhardware alternative community, so I decided to ask here.

I have a TBS5530 DVB-S/T/C USB device and I am not happy with it due to https://github.com/tbsdtv/linux_media/issues/193

I don't want to recompile kernel or use out-of-tree media_builds everytime I upgrade my kernel (ubuntu22.04).

Therefore I am looking for a device that has built-in kernel driver or simply loadable one with apt install linux-modules-XXX .

I prefer USB devices since I use it with both my desktop & laptop.

Does anyone know such hardware available to buy ?

Note to myself: seems I am 175th subscriber and this is my 1st post. yay !