Companies taking advantage of Linux to create locked down, proprietary systems is pretty common. For example, Android is Linux. Many smart TVs run some flavor of Linux. E.g. Tizen from Samsung is Linux based. If a company can short cut the software development process and licensing costs by using Linux, that’s often a first choice. So, my bet would be on Wall-E running on a version of Linux.

The dystopian part would be that the company locked it’s drivers behind a closed source model, and only included highly obscured binaries on Wall-E’s OS. Motors and controllers would be non-standard, requiring closed source firmware and the hardware would refuse to work with any software which isn’t signed by an original manufacturer’s digital certificate. Using an unsigned binary would blow a fuse in Wall-E’s CPU, killing him.