I know MPC takes a LOT of compute power. It's not like a finely tuned PID loop or even a cascade of PID loops, computationally.

Does anyone know (or have educated speculation on) what kind of hardware is running these algorithms? Like, do they have a linux machine that's running the control loops? Are we talking megabytes, gigabytes of SRAM?

I would think no -- you would definitely need hard real time for something like this. But my only experience with real time systems is in tiny MCUs with kb of SRAM. That's definitely too small for a controller like this.

Really curious about the nuts and bolts of this.