Considering the amount of just random ass shit in the world that runs some flavor of linux or another (like restaurant menus and display sings and even generic chinese game consoles) I would expect that whatever they are running is probably Linux adjacent at the very least.