

For a long time I was using a tegra dev kit as an HTPC. Definitely not the cheapest option but I got it for free so it worked out great. I bet you can get the old TX1 boards pretty cheap these days, and they just run Ubuntu with some Tegra mods, but apparently can also run NIXOS as well.
This. I have literally never “contacted” customer support for anything besides opening an RMA ticket.