@tom@labyrinth.social Yep yep Or nearly any set top box — Roku, etc Hell, half of the “smart” devices these days probably run some flavor of Linux