Ardupilot on Linux

I’ve read that there’re quite a few controllers that can run Ardupilot on Linux.
Do these boards run the real time components of the flight stack (EKF, Stabilization, etc…) on Linux ? Or it still makes use of the ST microcontroller with the Linux running CPU as a companion computer ?