Comment by aairey

How is this “news”?

It was already the case in 2018.

Also, no mention of the scheduler overhead. And the maintenance overhead is the worst.