3 ms·

I assume they're using something like https://en.wikipedia.org/wiki/RTLinux https://en.wikipedia.org/wiki/RTLinux to make it a hard RT system

• snvzz 6y ago
  RTLinux is dead, and it never had a high assurance story to begin with.
• ric2b 6y ago
  Clearly not, since the AV can take too much CPU time and prevent other tasks from running.