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.
Do the machines run on Linux? Perhaps perfect one? Or do they have their own OS? They use binary we know that at least.
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.