They do exist, although I think they're mostly supported/promoted in the Raspberry Pi space, like OSMC or LibreElec.