3 ms·

We don't know whether it has this or not, at the time.

• rbanffy 4y ago
  I'm sure it can, at least, run the 32-bit core close to real-time while the big core manages the rest of the machine.