[etimberg]

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

[ric2b]

Clearly not, since the AV can take too much CPU time and prevent other tasks from running.

[snvzz]

RTLinux is dead, and it never had a high assurance story to begin with.